fixed some paging bugs, added fault handlers and new programs

1 files changed, 15 insertions, 0 deletions

diff --git a/src/user/dumptext/dumptext.c b/src/user/dumptext/dumptext.c
new file mode 100644
index 0000000..b10375c
--- /dev/null
+++ b/src/user/dumptext/dumptext.c
@@ -0,0 +1,15 @@
+#include <knob/file.h>
+#include <knob/user.h>
+
+void main(const char *path) {
+  struct file *f = open_file(path);
+  if (!f) {
+    tell_user_sz("Couldn't open file.\n");
+    return;
+  }
+  char buf[] = { '\0', '\0' };
+  while (read_from_file(f, 1, buf))
+    tell_user_sz(buf);
+  tell_user_sz("\n");
+  close_file(f);
+}
\ No newline at end of file