Changeset 240 for soft/giet_vm/boot/reset.S

Timestamp:

Jun 3, 2013, 5:28:47 PM (11 years ago)

Author:

joannou

Message:

Bug fix for scheduler handling :

• In boot_init.c, changed left shifts of 10 to left shifts of 12 to support 4K schedulers instead of 1K schedulers
• In common.c, updated _get_sched() function to return the content of CP0_SCHED register

File:

• soft/giet_vm/boot/reset.S (modified) (1 diff)

soft/giet_vm/boot/reset.S

@@ -183 +183 @@
 
     # all processors initialise the CP0 SCHED register
-    # SCHED contains the schedulers array virtual base address
+    # SCHED contains the scheduler virtual base address
     mfc0        k0, CP0_PROCID
     andi    k0, k0, 0xFFF