Changeset 160 for soft/giet_vm/sys/drivers.c

Timestamp:

Jun 12, 2012, 4:21:27 PM (12 years ago)

Author:

karaoui

Message:

giet-vm new version

File:

• soft/giet_vm/sys/drivers.c (modified) (2 diffs)

soft/giet_vm/sys/drivers.c

@@ -5 +5 @@
 // Copyright (c) UPMC-LIP6
 ///////////////////////////////////////////////////////////////////////////////////
-// The vers.c and drivers.h files are part ot the GIET nano kernel.
+// The drivers.c and drivers.h files are part ot the GIET nano kernel.
 // They contains the drivers for the peripherals available in the SoCLib library:
 // - vci_multi_tty
@@ -204 +204 @@
 
     proc_id = _procid();
+    
     task_id = _scheduler[proc_id].current;
     tty_id  = _scheduler[proc_id].context[task_id][CTX_TTY_ID];