diff options
Diffstat (limited to 'firmware/kernel.c')
| -rw-r--r-- | firmware/kernel.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/firmware/kernel.c b/firmware/kernel.c index 64c8142540..d8c67e8485 100644 --- a/firmware/kernel.c +++ b/firmware/kernel.c | |||
| @@ -22,14 +22,11 @@ | |||
| 22 | #include <string.h> | 22 | #include <string.h> |
| 23 | #include "config.h" | 23 | #include "config.h" |
| 24 | #include "kernel.h" | 24 | #include "kernel.h" |
| 25 | #ifdef SIMULATOR | ||
| 26 | #include "system-sdl.h" | ||
| 27 | #include "debug.h" | ||
| 28 | #endif | ||
| 29 | #include "thread.h" | 25 | #include "thread.h" |
| 30 | #include "cpu.h" | 26 | #include "cpu.h" |
| 31 | #include "system.h" | 27 | #include "system.h" |
| 32 | #include "panic.h" | 28 | #include "panic.h" |
| 29 | #include "debug.h" | ||
| 33 | 30 | ||
| 34 | /* Make this nonzero to enable more elaborate checks on objects */ | 31 | /* Make this nonzero to enable more elaborate checks on objects */ |
| 35 | #if defined(DEBUG) || defined(SIMULATOR) | 32 | #if defined(DEBUG) || defined(SIMULATOR) |