2 files changed, 1 insertions, 22 deletions
diff --git a/ports/ARM7-LPC214x/chcore.c b/ports/ARM7/chcore.c
index 46f0bea04..d7d51c85b 100644
--- a/ports/ARM7-LPC214x/chcore.c
+++ b/ports/ARM7/chcore.c
@@ -24,15 +24,6 @@
 
 #include <ch.h>
 
-#include "lpc214x.h"
-
-/*
- * This file is a template of the system driver functions provided by a port.
- * Some of the following functions may be implemented as macros in chcore.h if
- * the implementer decides that there is an advantage in doing so, as example
- * because performance concerns.
- */
-
 /**
  * Prints a message on the system console.
  * @param msg pointer to the message
@@ -42,18 +33,6 @@ void port_puts(char *msg) {
 }
 
 /**
- * Enters an architecture-dependent halt mode. The function is meant to return
- * when an interrupt becomes pending.
- */
-__attribute__((weak))
-void port_wait_for_interrupt(void) {
-
-#if ENABLE_WFI_IDLE != 0
-  PCON = 1;
-#endif
-}
-
-/**
  * Halts the system.
  */
 __attribute__((weak))
diff --git a/ports/ARM7/chcore.h b/ports/ARM7/chcore.h
index 1a949ad79..cd6d40590 100644
--- a/ports/ARM7/chcore.h
+++ b/ports/ARM7/chcore.h
@@ -31,6 +31,7 @@
 #ifndef ENABLE_WFI_IDLE
 #define ENABLE_WFI_IDLE 0
 #endif
+#include <wfi.h>
 
 /**
  * Macro defining the ARM7 architecture.
@@ -265,7 +266,6 @@ typedef struct {
 extern "C" {
 #endif
   void port_puts(char *msg);
-  void port_wait_for_interrupt(void);
   void port_halt(void);
 #ifdef THUMB
   void _port_lock_thumb(void);