41,9 → 41,6 |
#include "dummy/dummy/dummy.h" |
#include "intdrive/intdrive/intdrive.h" |
|
#include "sem/sem/sem.h" |
#include "hartport/hartport/hartport.h" |
|
#include <drivers/shark_linuxc26.h> |
#include <drivers/shark_input26.h> |
#include <drivers/shark_keyb26.h> |
78,8 → 75,6 |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
|
SEM_register_module(); |
|
return TICK; |
} |
|
147,8 → 142,6 |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
|
HARTPORT_init(); |
|
set_shutdown_task(); |
|
device_drivers_init(); |