From 5c858a192562bf854beb2cd9c3c59ce5d8f9da54 Mon Sep 17 00:00:00 2001
From: jun2sak <j.2.sakai@gmail.com>
Date: Sun, 21 Feb 2021 16:27:21 +0900
Subject: [PATCH] add weak board_deinit().

---
 ports/nrf/supervisor/port.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/ports/nrf/supervisor/port.c b/ports/nrf/supervisor/port.c
index d3c31b51a6..264fb81982 100644
--- a/ports/nrf/supervisor/port.c
+++ b/ports/nrf/supervisor/port.c
@@ -472,3 +472,9 @@ void HardFault_Handler(void) {
         asm("nop;");
     }
 }
+
+#if CIRCUITPY_ALARM
+// in case boards/xxx/board.c does not provide board_deinit()
+MP_WEAK void board_deinit(void) {
+}
+#endif