| 40,7 → 40,8 |
|---|
| |
| #include "modules/posix.h" |
| #include "grubstar.h" |
| #include "fsf_contract.h" |
| #include "fsf_basic_types.h" |
| #include "fsf_core.h" |
| |
| #include "modules/pi.h" |
| #include "modules/pc.h" |
| 77,13 → 78,14 |
|---|
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| int grubstar_level; |
| int posix_level; |
| |
| INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_T, INTDRIVE_FLAG); |
| EDF_register_level(EDF_ENABLE_ALL); |
| POSIX_register_level(RRTICK, 1, mb, 32); |
| posix_level=POSIX_register_level(RRTICK, 1, mb, 32); |
| grubstar_level = GRUBSTAR_register_level(FSF_MAX_N_SERVERS, 1); |
| |
| FSF_register_module(grubstar_level, (int)(MAX_BANDWIDTH * 0.8)); |
| FSF_register_module(posix_level,grubstar_level, (int)(MAX_BANDWIDTH * 0.8)); |
| dummy_register_level(); |
| |
| CBS_register_level(CBS_ENABLE_ALL,1); |