2 files changed, 8 insertions, 4 deletions
diff --git a/nuttx/arch/hc/src/common/up_internal.h b/nuttx/arch/hc/src/common/up_internal.h
index fe7cac257..1e79e743c 100755
--- a/nuttx/arch/hc/src/common/up_internal.h
+++ b/nuttx/arch/hc/src/common/up_internal.h
@@ -41,8 +41,10 @@
  ****************************************************************************/
 
 #include <nuttx/config.h>
-#include <stdint.h>
- 
+#ifndef __ASSEMBLY__
+#  include <stdint.h>
+#endif
+
 /****************************************************************************
  * Definitions
  ****************************************************************************/
diff --git a/nuttx/arch/hc/src/mc9s12ne64/mc9s12ne64_internal.h b/nuttx/arch/hc/src/mc9s12ne64/mc9s12ne64_internal.h
index fb8f2662a..550580bda 100755
--- a/nuttx/arch/hc/src/mc9s12ne64/mc9s12ne64_internal.h
+++ b/nuttx/arch/hc/src/mc9s12ne64/mc9s12ne64_internal.h
@@ -42,8 +42,10 @@
 
 #include <nuttx/config.h>
 
-#include <stdint.h>
-#include <stdbool.h>
+#ifndef __ASSEMBLY__
+#  include <stdint.h>
+#  include <stdbool.h>
+#endif
 
 #include "up_internal.h"
 #include "chip.h"