| 38,6 → 38,7 |
|---|
| #include "kernel/kern.h" |
| #include "modules/edf.h" |
| #include "modules/cbs.h" |
| #include "modules/posix.h" |
| #include "pthread.h" |
| #include "drivers/keyb.h" |
| #include "modules/sem.h" |
| 45,6 → 46,7 |
|---|
| #include "modules/hartport.h" |
| |
| #include "fsf_contract.h" |
| #include "fsf_server.h" |
| |
| #include "modules/pi.h" |
| #include "modules/pc.h" |
| 58,12 → 60,12 |
|---|
| TIME __kernel_register_levels__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| int cbsstar_level, posix_level; |
| int grubstar_level; |
| |
| EDF_register_level(EDF_ENABLE_ALL); |
| posix_level = POSIX_register_level(RRTICK, 1, mb, 32); |
| cbsstar_level = CBSSTAR_register_level(FSF_MAX_N_SERVERS, 0); |
| FSF_register_module(posix_level, cbsstar_level); |
| POSIX_register_level(RRTICK, 1, mb, 32); |
| grubstar_level = GRUBSTAR_register_level(FSF_MAX_N_SERVERS, 0); |
| FSF_register_module(grubstar_level); |
| dummy_register_level(); |
| |
| CBS_register_level(CBS_ENABLE_ALL,0); |