35,15 → 35,20 |
* |
*/ |
|
|
|
#include "kernel/kern.h" |
#include "modules/edf.h" |
#include "modules/cbs.h" |
#include "modules/rr.h" |
#include "modules/dummy.h" |
|
#include "modules/sem.h" |
#include "modules/hartport.h" |
#include "modules/cabs.h" |
|
#include "drivers/keyb.h" |
|
/*+ sysyem tick in us +*/ |
#define TICK 500 |
#define TICK 0 |
|
/*+ RR tick in us +*/ |
#define RRTICK 10000 |
52,9 → 57,15 |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
|
EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, 0); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
|
SEM_register_module(); |
|
CABS_register_module(); |
|
return TICK; |
} |
|
62,6 → 73,14 |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
|
KEYB_PARMS kparms = BASE_KEYB; |
|
HARTPORT_init(); |
|
keyb_def_ctrlC(kparms, NULL); |
keyb_def_map(kparms,itaMap); |
KEYB_init(&kparms); |
|
__call_main__(mb); |
|
return (void *)0; |