| 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; |