update

[l4.git] / kernel / fiasco / src / kern / arm / bsp / exynos / kernel_thread-arm-exynos.cpp

diff --git a/kernel/fiasco/src/kern/arm/bsp/exynos/kernel_thread-arm-exynos.cpp b/kernel/fiasco/src/kern/arm/bsp/exynos/kernel_thread-arm-exynos.cpp
index e4ff31a6bee8235923313af3505edabec4bf0266..cc0a798fbfeb9e778ed268fbb5f593d65e77dbec 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/exynos/kernel_thread-arm-exynos.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/exynos/kernel_thread-arm-exynos.cpp
@@ -2,12 +2,11 @@
 IMPLEMENTATION [arm && tickless_idle && exynos]:
 
 #include "cpu.h"
-#include "pic.h"
 #include "platform_control.h"
 #include "processor.h"
 #include "scheduler.h"
 
-PROTECTED inline NEEDS["processor.h", "cpu.h", "platform_control.h", "scheduler.h"]
+PROTECTED inline NEEDS["processor.h"]
 void
 Kernel_thread::arch_tickless_idle(Cpu_number)
 {