diff --git a/zephyr/modmachine.c b/zephyr/modmachine.c
index 4013815d16..5909c37d6f 100644
--- a/zephyr/modmachine.c
+++ b/zephyr/modmachine.c
@@ -28,6 +28,7 @@
 
 #include <stdint.h>
 #include <stdio.h>
+#include <misc/reboot.h>
 
 #include "py/obj.h"
 #include "py/runtime.h"
@@ -40,7 +41,8 @@
 #if MICROPY_PY_MACHINE
 
 STATIC mp_obj_t machine_reset(void) {
-    printf("Warning: %s is not implemented\n", __func__);
+    sys_reboot(SYS_REBOOT_COLD);
+    // Won't get here, Zephyr has infiniloop on its side
     return mp_const_none;
 }
 STATIC MP_DEFINE_CONST_FUN_OBJ_0(machine_reset_obj, machine_reset);
@@ -53,7 +55,9 @@ STATIC MP_DEFINE_CONST_FUN_OBJ_0(machine_reset_cause_obj, machine_reset_cause);
 
 STATIC const mp_rom_map_elem_t machine_module_globals_table[] = {
     { MP_ROM_QSTR(MP_QSTR___name__), MP_ROM_QSTR(MP_QSTR_umachine) },
+    #ifdef CONFIG_REBOOT
     { MP_ROM_QSTR(MP_QSTR_reset), MP_ROM_PTR(&machine_reset_obj) },
+    #endif
     { MP_ROM_QSTR(MP_QSTR_reset_cause), MP_ROM_PTR(&machine_reset_cause_obj) },
 
     { MP_ROM_QSTR(MP_QSTR_Pin), MP_ROM_PTR(&machine_pin_type) },
diff --git a/zephyr/prj_base.conf b/zephyr/prj_base.conf
index fc51ccec6d..1a0b407116 100644
--- a/zephyr/prj_base.conf
+++ b/zephyr/prj_base.conf
@@ -1,4 +1,5 @@
 CONFIG_LEGACY_KERNEL=n
+CONFIG_REBOOT=y
 
 CONFIG_STDOUT_CONSOLE=y
 CONFIG_CONSOLE_HANDLER=y