diff --git a/ports/cxd56/supervisor/port.c b/ports/cxd56/supervisor/port.c
index fa7591918d..10fa4112e8 100644
--- a/ports/cxd56/supervisor/port.c
+++ b/ports/cxd56/supervisor/port.c
@@ -33,8 +33,9 @@
 
 #include "sched/sched.h"
 
-#include "supervisor/board.h"
+#include "shared-bindings/rtc/__init__.h"
 
+#include "supervisor/board.h"
 #include "supervisor/port.h"
 #include "supervisor/background_callback.h"
 #include "supervisor/usb.h"
@@ -90,6 +91,9 @@ void reset_port(void) {
     #if CIRCUITPY_BUSIO
     busio_uart_reset();
     #endif
+    #if CIRCUITPY_RTC
+    rtc_reset();
+    #endif
 
     reset_all_pins();
 }
diff --git a/shared-bindings/rtc/__init__.h b/shared-bindings/rtc/__init__.h
index 0ee51fba5e..04f8f8b08c 100644
--- a/shared-bindings/rtc/__init__.h
+++ b/shared-bindings/rtc/__init__.h
@@ -27,6 +27,8 @@
 #ifndef MICROPY_INCLUDED_SHARED_BINDINGS_RTC___INIT___H
 #define MICROPY_INCLUDED_SHARED_BINDINGS_RTC___INIT___H
 
+#include "py/obj.h"
+
 extern void rtc_reset(void);
 extern mp_obj_t rtc_get_time_source_time(void);