Changeset 459 for soft/giet_vm/giet_kernel/kernel_init.c
- Timestamp:
- Dec 5, 2014, 3:51:22 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
soft/giet_vm/giet_kernel/kernel_init.c
r449 r459 11 11 #include <hard_config.h> 12 12 #include <utils.h> 13 #include < kernel_utils.h>13 #include <tty0.h> 14 14 #include <fat32.h> 15 15 #include <xcu_driver.h> 16 #include <ioc_driver.h> 16 17 #include <ctx_handler.h> 17 18 #include <irq_handler.h> … … 107 108 // This initialisation is done sequencially by each processor 108 109 while( cpid != kernel_init_barrier ) asm volatile ( "nop" ); 110 111 // Step 0 : Processor[0,0,0] initialises the kernel FAT 112 if ( gpid == 0 ) _fat_init( IOC_BOOT_MODE ); 109 113 110 114 // Step 1 : each processor get its scheduler virtual address from CP0_SCHED register
Note: See TracChangeset
for help on using the changeset viewer.