2 files changed, 27 insertions, 1 deletions
diff --git a/lib/utils/pyexec.c b/lib/utils/pyexec.c
index ddecb6a8d8..411ee969d6 100644
--- a/lib/utils/pyexec.c
+++ b/lib/utils/pyexec.c
@@ -40,7 +40,7 @@
 #include "irq.h"
 #include "usb.h"
 #endif
-#include "readline.h"
+#include "lib/mp-readline/readline.h"
 #include "lib/utils/pyexec.h"
 #include "genhdr/mpversion.h"
 
diff --git a/lib/utils/stdout_helpers.c b/lib/utils/stdout_helpers.c
new file mode 100644
index 0000000000..6efe10b92c
--- /dev/null
+++ b/lib/utils/stdout_helpers.c
@@ -0,0 +1,26 @@
+#include <string.h>
+#include <unistd.h>
+#include "py/mpconfig.h"
+#include "py/mphal.h"
+
+/*
+ * Extra stdout functions
+ * These can be either optimized for a particular port, or reference
+ * implementation below can be used.
+ */
+
+// Send "cooked" string of given length, where every occurance of
+// LF character is replaced with CR LF.
+void mp_hal_stdout_tx_strn_cooked(const char *str, mp_uint_t len) {
+    while (len--) {
+        if (*str == '\n') {
+            mp_hal_stdout_tx_strn("\r", 1);
+        }
+        mp_hal_stdout_tx_strn(str++, 1);
+    }
+}
+
+// Send zero-terminated string
+void mp_hal_stdout_tx_str(const char *str) {
+    mp_hal_stdout_tx_strn(str, strlen(str));
+}