MICROPY_PORT_DEINIT_FUNC called after gc_sweep_all
I'm using MICROPY_PORT_DEINIT_FUNC to release hardware resources upon soft reset.
Unfortunately, it's called only after gc ram is deallocated by gc_sweep_all.
My port uses gc allocated ram, and when MICROPY_PORT_DEINIT_FUNC is called it's too late, gc ram was already deallocated.
https://github.com/micropython/micropython/blob/10709846f38f8f6519dee27694ce583926a00cb9/ports/esp32/main.c#L145-L153
Is there any particular reason gc_sweep_all is called before mp_deinit?
Is it reasonable to move gc_sweep_all after mp_deinit?
ports/stm32/main: Add mp_deinit() in main.
This adds a call to mp_deinit() in the main function of the STM32 port. This enables the use of the MICROPY_PORT_DEINIT_FUNC hook on that port.
This is just something I noticed while looking at the code. I don't have an actual use case at this time, so happy to hold off on this until someone actually needs it.