From 64a7fafe41bbcb8707a826fd64b02eee0144b7a6 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 18 Jan 2015 08:02:14 +0100
Subject: [PATCH] use helper function to list the file system

---
 kernel/main.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/kernel/main.c b/kernel/main.c
index bc89fd4..3211218 100644
--- a/kernel/main.c
+++ b/kernel/main.c
@@ -157,6 +157,11 @@ int main(void)
 	create_kernel_task(&id1, foo, "foo1", NORMAL_PRIO);
 	create_kernel_task(&id2, wrapper, "userfoo", NORMAL_PRIO);
 
+#if 1
+	kputs("Filesystem:\n");
+	list_fs(fs_root, 1);
+#endif
+
 	while(1) { 
 		HALT;
 	}