Changeset 163 for soft/giet_vm/sys

Timestamp:

Jun 21, 2012, 2:47:19 PM (12 years ago)

Author:

karaoui

Message:

changing mover to memo
changing soft.bin to soft.elf
...

Location:

soft/giet_vm/sys

Files:

• init.c (modified) (1 diff)
• sys_handler.c (modified) (2 diffs)

soft/giet_vm/sys/init.c

@@ -33 +33 @@
 in_kinit void _init()
 {
-    _puts("\n KERNEL INIT! \n ");
+    _puts("\n[INIT] Starting kernel initialisations ");
+    _putw( _proctime() );
+    _puts("\n");
 
     // building tasks contexts

soft/giet_vm/sys/sys_handler.c

@@ -131 +131 @@
 
 /////////////////////////////////////////////////////////////////////////////
-// _vobj_get_base()
+// _vobj_get_vbase()
 // returns 0: success, else: failed.
-// give access to the base address of a vobj identified by the (vspace_name / channel_name ) couple.
+// return the virtual base address of a vobj identified by the (vspace_name / channel_name ) couple.
 // The "type" argument is here for checking purpose.
 /////////////////////////////////////////////////////////////////////////////
@@ -166 +166 @@
             } 
         }
-    }
-    // not found !!!
-    return -2;
+    } 
+    return -2;//not found 
 }