diff --git a/zephyr/Makefile b/zephyr/Makefile
index 501fb0a310384da9d2697282be4f945f47afc9f2..2cc314b533acdc0de1d28716ddb7eb54a1eaf341 100644
--- a/zephyr/Makefile
+++ b/zephyr/Makefile
@@ -37,6 +37,7 @@ SRC_C = main.c \
 	lib/utils/stdout_helpers.c \
 	lib/utils/printf.c \
 	lib/utils/pyexec.c \
+	lib/utils/interrupt_char.c \
 	lib/mp-readline/readline.c \
 	$(BUILD)/frozen.c \
 	$(SRC_MOD)
diff --git a/zephyr/main.c b/zephyr/main.c
index d6ac56943ce7092cf9c5a3604e26d2bdb8a2819f..3bd768f686815251b34f5f7fbe2fdf692da4b3f7 100644
--- a/zephyr/main.c
+++ b/zephyr/main.c
@@ -9,6 +9,7 @@
 #include "py/gc.h"
 #include "py/stackctrl.h"
 #include "lib/utils/pyexec.h"
+#include "lib/mp-readline/readline.h"
 
 void do_str(const char *src, mp_parse_input_kind_t input_kind) {
     mp_lexer_t *lex = mp_lexer_new_from_str_len(MP_QSTR__lt_stdin_gt_, src, strlen(src), 0);
@@ -44,6 +45,7 @@ int real_main(void) {
     gc_init(heap, heap + sizeof(heap));
     #endif
     mp_init();
+    MP_STATE_PORT(mp_kbd_exception) = mp_obj_new_exception(&mp_type_KeyboardInterrupt);
     pyexec_frozen_module("main.py");
     #if MICROPY_REPL_EVENT_DRIVEN
     pyexec_event_repl_init();
diff --git a/zephyr/mpconfigport.h b/zephyr/mpconfigport.h
index 5d021b6aa22cf4d4bf122368fdc5c3c30059289d..2c5fad21b70b56065e56b3189b0b8c836b4aaa31 100644
--- a/zephyr/mpconfigport.h
+++ b/zephyr/mpconfigport.h
@@ -46,6 +46,7 @@ typedef long mp_off_t;
 #define MP_STATE_PORT MP_STATE_VM
 
 #define MICROPY_PORT_ROOT_POINTERS \
+    mp_obj_t mp_kbd_exception; \
     const char *readline_hist[8];
 
 // Include Zephyr's autoconf.h, which should be made first by Zephyr makefiles
diff --git a/zephyr/mphalport.h b/zephyr/mphalport.h
index 60d68bd2d6d509c882aa86ce39434e834ee79958..1bb64e00028eef06b04cfa20da2ca0406b82d89c 100644
--- a/zephyr/mphalport.h
+++ b/zephyr/mphalport.h
@@ -1,2 +1 @@
 static inline mp_uint_t mp_hal_ticks_ms(void) { return 0; }
-static inline void mp_hal_set_interrupt_char(char c) {}