79,6 → 79,8 |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
int grubstar_level; |
int posix_level; |
int pi_level; |
int pc_level; |
|
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_T, INTDRIVE_FLAG); |
EDF_register_level(EDF_ENABLE_ALL); |
87,16 → 89,16 |
|
FSF_register_module(posix_level,grubstar_level, (int)(MAX_BANDWIDTH * 0.8)); |
dummy_register_level(); |
|
//posix_level=POSIX_register_level(RRTICK, 1, mb, 32); |
CBS_register_level(CBS_ENABLE_ALL,1); |
|
SEM_register_module(); |
|
PI_register_module(); |
PC_register_module(); |
pi_level=PI_register_module(); |
pc_level=PC_register_module(); |
NOP_register_module(); |
|
PTHREAD_register_module(2, 0, 1); |
PTHREAD_register_module(2, pi_level, pc_level); |
|
return TICK; |
} |