| 34,15 → 34,15 |
|---|
| */ |
| |
| #include "kernel/kern.h" |
| #include "modules/intdrive.h" |
| #include "modules/edf.h" |
| #include "modules/hardcbs.h" |
| #include "modules/rr.h" |
| #include "modules/dummy.h" |
| #include "intdrive/intdrive/intdrive.h" |
| #include "edf/edf/edf.h" |
| #include "hardcbs/hardcbs/hardcbs.h" |
| #include "rr/rr/rr.h" |
| #include "dummy/dummy/dummy.h" |
| |
| #include "modules/sem.h" |
| #include "modules/hartport.h" |
| #include "modules/cabs.h" |
| #include "sem/sem/sem.h" |
| #include "hartport/hartport/hartport.h" |
| #include "cabs/cabs/cabs.h" |
| |
| #include <drivers/shark_linuxc26.h> |
| #include <drivers/shark_pci26.h> |