spresense: Fix time.time()

Author: kamtom480

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();
 }

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);