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