stmhal: Reduce coupling between USB driver and readline.

This makes it easier to re-use readline.c and pyexec.c from stmhal in
other ports.

3 files changed, 7 insertions, 6 deletions

diff --git a/teensy/teensy_hal.c b/teensy/teensy_hal.c
index 39f41ad8a..6e9a27c30 100644
--- a/teensy/teensy_hal.c
+++ b/teensy/teensy_hal.c
@@ -14,3 +14,9 @@ uint32_t HAL_GetTick(void) {
 void HAL_Delay(uint32_t Delay) {
   delay(Delay);
 }
+
+void mp_hal_set_interrupt_char(int c) {
+  // The teensy 3.1 usb stack doesn't currently have the notion of generating
+  // an exception when a certain character is received. That just means that
+  // you can't press Control-C and get your python script to stop.
+}
diff --git a/teensy/teensy_hal.h b/teensy/teensy_hal.h
index d27116d41..ee434fd20 100644
--- a/teensy/teensy_hal.h
+++ b/teensy/teensy_hal.h
@@ -114,6 +114,7 @@ __attribute__(( always_inline )) static inline void __WFI(void) {
 
 uint32_t HAL_GetTick(void);
 void     HAL_Delay(uint32_t Delay);
+void mp_hal_set_interrupt_char(int c);
 
 void HAL_GPIO_Init(GPIO_TypeDef *GPIOx, GPIO_InitTypeDef *init);
 
diff --git a/teensy/usb.c b/teensy/usb.c
index 9fb50967d..d1601c32d 100644
--- a/teensy/usb.c
+++ b/teensy/usb.c
@@ -22,12 +22,6 @@ bool usb_vcp_is_enabled(void)
   return true;
 }
 
-void usb_vcp_set_interrupt_char(int c) {
-  // The teensy 3.1 usb stack doesn't currently have the notion of generating
-  // an exception when a certain character is received. That just means that
-  // you can't press Control-C and get your python script to stop.
-}
-
 int usb_vcp_rx_num(void) {
   return usb_serial_available();
 }