From 657faee7e5c44552ba39dea00d4c0d12ef09ca30 Mon Sep 17 00:00:00 2001
From: Damien George <damien@micropython.org>
Date: Wed, 7 Feb 2024 13:34:12 +1100
Subject: [PATCH] stm32/main: Allow disabling MICROPY_PY_MACHINE.

Disabling this requires also disabling: MICROPY_PY_PYB and MICROPY_PY_STM.

Signed-off-by: Damien George <damien@micropython.org>
---
 ports/stm32/main.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ports/stm32/main.c b/ports/stm32/main.c
index 06ba74f759..3279770ea0 100644
--- a/ports/stm32/main.c
+++ b/ports/stm32/main.c
@@ -424,7 +424,9 @@ void stm32_main(uint32_t reset_mode) {
     #if MICROPY_HW_HAS_SWITCH
     switch_init0();
     #endif
+    #if MICROPY_PY_MACHINE
     machine_init();
+    #endif
     #if MICROPY_HW_ENABLE_RTC
     rtc_init_start(false);
     #endif
@@ -670,7 +672,9 @@ soft_reset_exit:
     #if MICROPY_HW_ENABLE_DAC
     dac_deinit_all();
     #endif
+    #if MICROPY_PY_MACHINE
     machine_deinit();
+    #endif
 
     #if MICROPY_PY_THREAD
     pyb_thread_deinit();