diff options
Diffstat (limited to 'firmware/kernel.c')
-rw-r--r-- | firmware/kernel.c | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/firmware/kernel.c b/firmware/kernel.c index 8eba5651ad..835181f1ae 100644 --- a/firmware/kernel.c +++ b/firmware/kernel.c | |||
@@ -24,9 +24,6 @@ | |||
24 | #include "cpu.h" | 24 | #include "cpu.h" |
25 | #include "system.h" | 25 | #include "system.h" |
26 | #include "panic.h" | 26 | #include "panic.h" |
27 | #if CONFIG_CPU == IMX31L | ||
28 | #include "avic-imx31.h" | ||
29 | #endif | ||
30 | 27 | ||
31 | /* Make this nonzero to enable more elaborate checks on objects */ | 28 | /* Make this nonzero to enable more elaborate checks on objects */ |
32 | #ifdef DEBUG | 29 | #ifdef DEBUG |
@@ -42,7 +39,7 @@ | |||
42 | #define KERNEL_ASSERT(exp, msg...) ({}) | 39 | #define KERNEL_ASSERT(exp, msg...) ({}) |
43 | #endif | 40 | #endif |
44 | 41 | ||
45 | #if (!defined(CPU_PP) && (CONFIG_CPU != IMX31L)) || !defined(BOOTLOADER) | 42 | #if !defined(CPU_PP) || !defined(BOOTLOADER) |
46 | volatile long current_tick NOCACHEDATA_ATTR = 0; | 43 | volatile long current_tick NOCACHEDATA_ATTR = 0; |
47 | #endif | 44 | #endif |
48 | 45 | ||
@@ -107,7 +104,7 @@ void sleep(int ticks) | |||
107 | 104 | ||
108 | void yield(void) | 105 | void yield(void) |
109 | { | 106 | { |
110 | #if ((CONFIG_CPU == S3C2440 || defined(ELIO_TPJ1022) || CONFIG_CPU == IMX31L) && defined(BOOTLOADER)) | 107 | #if ((CONFIG_CPU == S3C2440 || defined(ELIO_TPJ1022)) && defined(BOOTLOADER)) |
111 | /* Some targets don't like yielding in the bootloader */ | 108 | /* Some targets don't like yielding in the bootloader */ |
112 | #else | 109 | #else |
113 | switch_thread(NULL); | 110 | switch_thread(NULL); |