63,7 → 63,7 |
|
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_T 10000 |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
|
void call_shutdown_task(void *arg); |
82,7 → 82,7 |
int pi_level; |
int pc_level; |
|
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_T, INTDRIVE_FLAG); |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_register_level(EDF_ENABLE_ALL); |
posix_level=POSIX_register_level(RRTICK, 1, mb, 32); |
grubstar_level = GRUBSTAR_register_level(FSF_MAX_N_SERVERS, 1); |
111,7 → 111,7 |
|
int device_drivers_init() { |
|
LINUXC26_register_module(); |
LINUXC26_register_module(TRUE); |
PCI26_init(); |
|
return 0; |