2 files changed, 13 insertions, 3 deletions
diff --git a/os/kernel/include/ch.h b/os/kernel/include/ch.h
index 6f783c00c..3641c826f 100644
--- a/os/kernel/include/ch.h
+++ b/os/kernel/include/ch.h
@@ -88,8 +88,21 @@
 #include "chqueues.h"
 #include "chstreams.h"
 #include "chioch.h"
+#include "chfiles.h"
 #include "chdebug.h"
 
+#if !defined(__DOXYGEN__)
+extern WORKING_AREA(_idle_thread_wa, IDLE_THREAD_STACK_SIZE);
+#endif
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+  void _idle_thread(void *p);
+#ifdef __cplusplus
+}
+#endif
+
 #endif /* _CH_H_ */
 
 /** @} */
diff --git a/os/kernel/include/chsys.h b/os/kernel/include/chsys.h
index ae013d7c7..2f94c5209 100644
--- a/os/kernel/include/chsys.h
+++ b/os/kernel/include/chsys.h
@@ -178,12 +178,9 @@
  */
 #define CH_FAST_IRQ_HANDLER(id) PORT_FAST_IRQ_HANDLER(id)
 
-extern WORKING_AREA(_idle_thread_wa, IDLE_THREAD_STACK_SIZE);
-
 #ifdef __cplusplus
 extern "C" {
 #endif
-  void _idle_thread(void *p);
   void chSysInit(void);
   void chSysTimerHandlerI(void);
 #if CH_USE_NESTED_LOCKS && !CH_OPTIMIZE_SPEED