From 8bbaee6124dc0ff2f0b7cfdccb8bb361f7cffc64 Mon Sep 17 00:00:00 2001
From: "Ithamar R. Adema" <ithamar.adema@team-embedded.nl>
Date: Sun, 13 Mar 2011 10:28:51 +0000
Subject: [PATCH] * Fix ARM kernel compilation

git-svn-id: file:///srv/svn/repos/haiku/haiku/trunk@40926 a95241bf-73f2-0310-859d-f6bbb57e9c96
---
 src/system/kernel/arch/arm/arch_cpu.cpp    | 2 --
 src/system/kernel/arch/arm/arch_thread.cpp | 1 +
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/system/kernel/arch/arm/arch_cpu.cpp b/src/system/kernel/arch/arm/arch_cpu.cpp
index ed953b2c23..49bcd81550 100644
--- a/src/system/kernel/arch/arm/arch_cpu.cpp
+++ b/src/system/kernel/arch/arm/arch_cpu.cpp
@@ -12,8 +12,6 @@
 
 #include <KernelExport.h>
 
-//#include <arch_platform.h>
-#include <arch_thread.h>
 #include <arch/cpu.h>
 #include <boot/kernel_args.h>
 #include <commpage.h>
diff --git a/src/system/kernel/arch/arm/arch_thread.cpp b/src/system/kernel/arch/arm/arch_thread.cpp
index d97f15eb16..46e63f58c1 100644
--- a/src/system/kernel/arch/arm/arch_thread.cpp
+++ b/src/system/kernel/arch/arm/arch_thread.cpp
@@ -12,6 +12,7 @@
  */
 
 
+#include <thread.h>
 #include <arch_thread.h>
 
 #include <arch_cpu.h>