diff cos/kernel/kernel.c @ 28:47b7df514243

Moved Makefiles
author windel
date Wed, 28 Dec 2011 13:38:43 +0100
parents 7f74363f4c82
children 7e3bdcb391dc
line wrap: on
line diff
--- a/cos/kernel/kernel.c	Tue Dec 27 18:59:02 2011 +0100
+++ b/cos/kernel/kernel.c	Wed Dec 28 13:38:43 2011 +0100
@@ -23,6 +23,9 @@
   setupIDT(); 
   init_heap();
 
+  //new_task(hello_program);
+
+  // TODO: make below a user space program!
   printf("Welcome!\n");
 
   while (1==1) 
@@ -44,6 +47,8 @@
     {
       printf("Help\n Try one of these commands:\n");
       printf(" x: print system time in ms\n");
+      printf(" r: reboot\n");
+      printf(" t: test\n");
     }
     if (strncmp(buffer, "r", 1))
     {