49,6 → 49,7 |
|
#include "modules/sem.h" |
#include "modules/hartport.h" |
#include "modules/nop.h" |
|
#include <drivers/shark_linuxc26.h> |
#include <drivers/shark_pci26.h> |
81,7 → 82,8 |
EDF_register_level(EDF_ENABLE_ALL); |
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.9)); |
|
FSF_register_module(grubstar_level, (int)(MAX_BANDWIDTH * 0.8)); |
dummy_register_level(); |
|
CBS_register_level(CBS_ENABLE_ALL,1); |
90,6 → 92,7 |
|
PI_register_module(); |
PC_register_module(); |
NOP_register_module(); |
|
PTHREAD_register_module(2, 0, 1); |
|