| 37,33 → 37,26 |
|---|
| |
| #include "kernel/kern.h" |
| |
| #include "modules/edf.h" |
| #include "modules/cbs.h" |
| #include "edf/edf/edf.h" |
| #include "cbs/cbs/cbs.h" |
| |
| #include "pthread.h" |
| #include "modules/posix.h" |
| #include "posix/posix/posix.h" |
| |
| #include "fsf_basic_types.h" |
| #include "fsf_core.h" |
| #include "fsf_hierarchical.h" |
| #include "fsf_spare_capacity.h" |
| |
| #include "fsf.h" |
| #include "fsf_server.h" |
| |
| #include "modules/dummy.h" |
| #include "dummy/dummy/dummy.h" |
| |
| #include "modules/sem.h" |
| #include "modules/pi.h" |
| #include "modules/pc.h" |
| #include "sem/sem/sem.h" |
| #include "pi/pi/pi.h" |
| #include "pc/pc/pc.h" |
| |
| #include "modules/hartport.h" |
| #include "modules/cabs.h" |
| #include "hartport/hartport/hartport.h" |
| #include "cabs/cabs/cabs.h" |
| |
| #include "drivers/keyb.h" |
| #include <stdlib.h> |
| #include "fsf_server.h" |
| #include "fsf_basic_types.h" |
| #include "fsf_core.h" |
| // -------------------------------------------------- |
| // -------------------------------------------------- |
| // Init Part |