diff options
| author | Jeff Epler <jepler@gmail.com> | 2020-09-25 13:28:04 -0500 |
|---|---|---|
| committer | Jeff Epler <jepler@gmail.com> | 2020-09-28 18:56:01 -0500 |
| commit | 1dbb59271c6086fa26088c9672be19bb1f66cdfd (patch) | |
| tree | c59fe805827f1598d26ea6611b69a492c7773eed | |
| parent | 726dcdb60aa84b5070e5484a19e896abdaffeb93 (diff) | |
esp32: Use esp_restart from reset_to_bootloader; redeclare it NORETURN
| -rw-r--r-- | ports/esp32s2/supervisor/port.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ports/esp32s2/supervisor/port.c b/ports/esp32s2/supervisor/port.c index 60331d08e..8b41076e1 100644 --- a/ports/esp32s2/supervisor/port.c +++ b/ports/esp32s2/supervisor/port.c @@ -56,6 +56,8 @@ uint32_t heap_size; STATIC esp_timer_handle_t _tick_timer; +extern void esp_restart(void) NORETURN; + void tick_timer_cb(void* arg) { supervisor_tick(); } @@ -118,6 +120,7 @@ void reset_port(void) { } void reset_to_bootloader(void) { + esp_restart(); } void reset_cpu(void) { |