Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 1664 | pj | 1 | #include "kernel/kern.h" |
| 2 | #include "modules/edf.h" |
||
| 3 | #include "modules/cbs.h" |
||
| 4 | #include "modules/rr.h" |
||
| 5 | #include "modules/dummy.h" |
||
| 6 | |||
| 7 | #include "modules/sem.h" |
||
| 8 | #include "modules/hartport.h" |
||
| 9 | #include "modules/cabs.h" |
||
| 10 | |||
| 11 | #include "drivers/keyb.h" |
||
| 12 | |||
| 13 | |||
| 14 | /*+ sysyem tick in us +*/ |
||
| 15 | #define TICK 0 |
||
| 16 | |||
| 17 | /*+ RR tick in us +*/ |
||
| 18 | #define RRTICK 10000 |
||
| 19 | |||
| 20 | TIME __kernel_register_levels__(void *arg) |
||
| 21 | { |
||
| 22 | struct multiboot_info *mb = (struct multiboot_info *)arg; |
||
| 23 | |||
| 24 | EDF_register_level(EDF_ENABLE_ALL); |
||
| 25 | CBS_register_level(CBS_ENABLE_ALL, 0); |
||
| 26 | RR_register_level(RRTICK, RR_MAIN_YES, mb); |
||
| 27 | dummy_register_level(); |
||
| 28 | |||
| 29 | SEM_register_module(); |
||
| 30 | |||
| 31 | CABS_register_module(); |
||
| 32 | |||
| 33 | return TICK; |
||
| 34 | } |
||
| 35 | |||
| 36 | TASK __init__(void *arg) |
||
| 37 | { |
||
| 38 | struct multiboot_info *mb = (struct multiboot_info *)arg; |
||
| 39 | |||
| 40 | KEYB_PARMS kparms = BASE_KEYB; |
||
| 41 | |||
| 42 | HARTPORT_init(); |
||
| 43 | |||
| 44 | keyb_def_ctrlC(kparms, NULL); |
||
| 45 | keyb_def_map(kparms,itaMap); |
||
| 46 | KEYB_init(&kparms); |
||
| 47 | |||
| 48 | __call_main__(mb); |
||
| 49 | |||
| 50 | return (void *)0; |
||
| 51 | } |
||
| 52 |