From 1312bca729889dd97446689cf8c14740d83e7c9b Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Fri, 8 Aug 2014 18:39:28 -0600
Subject: Remove os_internal.h it has been replace by several new header files
 under sched/.  There have been some sneak inclusion paths via os_internal.h,
 so expect a few compilation errors for some architectures

---
 nuttx/arch/rgmp/src/arm/arch_nuttx.c | 1 -
 nuttx/arch/rgmp/src/x86/arch_nuttx.c | 1 -
 2 files changed, 2 deletions(-)

(limited to 'nuttx/arch/rgmp')

diff --git a/nuttx/arch/rgmp/src/arm/arch_nuttx.c b/nuttx/arch/rgmp/src/arm/arch_nuttx.c
index 93d4e447a..0b6a63877 100644
--- a/nuttx/arch/rgmp/src/arm/arch_nuttx.c
+++ b/nuttx/arch/rgmp/src/arm/arch_nuttx.c
@@ -42,7 +42,6 @@
 
 #include <arch/arch.h>
 #include <nuttx/sched.h>
-#include <os_internal.h>
 
 
 void nuttx_arch_init(void)
diff --git a/nuttx/arch/rgmp/src/x86/arch_nuttx.c b/nuttx/arch/rgmp/src/x86/arch_nuttx.c
index c691784d9..2ca3d02e0 100644
--- a/nuttx/arch/rgmp/src/x86/arch_nuttx.c
+++ b/nuttx/arch/rgmp/src/x86/arch_nuttx.c
@@ -43,7 +43,6 @@
 
 #include <arch/arch.h>
 #include <nuttx/sched.h>
-#include <os_internal.h>
 
 
 void nuttx_arch_init(void)
-- 
cgit v1.2.3