1 files changed, 10 insertions, 4 deletions
diff --git a/esp8266/esp_mphal.c b/esp8266/esp_mphal.c
index b522e87e3b..6a4b2f5ec3 100644
--- a/esp8266/esp_mphal.c
+++ b/esp8266/esp_mphal.c
@@ -33,6 +33,7 @@
 #include "ets_alt_task.h"
 #include "py/obj.h"
 #include "py/mpstate.h"
+#include "extmod/misc.h"
 
 extern void ets_wdt_disable(void);
 extern void wdt_feed(void);
@@ -68,24 +69,29 @@ int mp_hal_stdin_rx_chr(void) {
     }
 }
 
+void mp_hal_stdout_tx_char(char c) {
+    uart_tx_one_char(UART0, c);
+    mp_uos_dupterm_tx_strn(&c, 1);
+}
+
 void mp_hal_stdout_tx_str(const char *str) {
     while (*str) {
-        uart_tx_one_char(UART0, *str++);
+        mp_hal_stdout_tx_char(*str++);
     }
 }
 
 void mp_hal_stdout_tx_strn(const char *str, uint32_t len) {
     while (len--) {
-        uart_tx_one_char(UART0, *str++);
+        mp_hal_stdout_tx_char(*str++);
     }
 }
 
 void mp_hal_stdout_tx_strn_cooked(const char *str, uint32_t len) {
     while (len--) {
         if (*str == '\n') {
-            uart_tx_one_char(UART0, '\r');
+            mp_hal_stdout_tx_char('\r');
         }
-        uart_tx_one_char(UART0, *str++);
+        mp_hal_stdout_tx_char(*str++);
     }
 }