32,25 → 32,25 |
|
#include <kernel/kern.h> |
|
#include "modules/edf.h" |
#include "modules/cbs.h" |
#include "modules/rr.h" |
#include "modules/dummy.h" |
#include "modules/intdrive.h" |
#include "edf/edf/edf.h" |
#include "cbs/cbs/cbs.h" |
#include "rr/rr/rr.h" |
#include "dummy/dummy/dummy.h" |
#include "intdrive/intdrive/intdrive.h" |
|
#include "modules/posix.h" |
#include "posix/posix/posix.h" |
#include "grubstar.h" |
#include "fsf_basic_types.h" |
#include "fsf_core.h" |
|
#include "modules/pi.h" |
#include "modules/pc.h" |
#include "pi/pi/pi.h" |
#include "pc/pc/pc.h" |
|
#include "pthread.h" |
|
#include "modules/sem.h" |
#include "modules/hartport.h" |
#include "modules/nop.h" |
#include "sem/sem/sem.h" |
#include "hartport/hartport/hartport.h" |
#include "nop/nop/nop.h" |
|
#include <drivers/shark_linuxc26.h> |
#include <drivers/shark_pci26.h> |