Damien George b2fa1b50ed ports: Call gc_sweep_all() when doing a soft reset. ... This calls finalisers of things like files and sockets to cleanly close them.		2018-06-12 11:56:25 +10:00
..
bare-arm	…
cc3200	…
esp32	ports: Call gc_sweep_all() when doing a soft reset.	2018-06-12 11:56:25 +10:00
esp8266	ports: Call gc_sweep_all() when doing a soft reset.	2018-06-12 11:56:25 +10:00
minimal	…
pic16bit	…
qemu-arm	…
stm32	ports: Call gc_sweep_all() when doing a soft reset.	2018-06-12 11:56:25 +10:00
teensy	…
unix	ports: Call gc_sweep_all() when doing a soft reset.	2018-06-12 11:56:25 +10:00
windows	…
zephyr	…