Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/doc/efun/break_point b/doc/efun/break_point
new file mode 100644
index 0000000..584453e
--- /dev/null
+++ b/doc/efun/break_point
@@ -0,0 +1,11 @@
+OPTIONAL
+SYNOPSIS
+ void break_point()
+
+DESCRIPTION
+ This function is for system internal use and should never be called by
+ user objects. It is supposed to check the stack integrity and aborts
+ the driver when it detects corruption.
+
+SEE ALSO
+ shutdown(E), swap(E)