main.c 15.6 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
/*
 * This file is part of the Micro Python project, http://micropython.org/
 *
 * The MIT License (MIT)
 *
 * Copyright (c) 2013, 2014 Damien P. George
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
 * THE SOFTWARE.
 */

Dave Hylands's avatar
Dave Hylands committed
27
28
29
#include <stdio.h>
#include <string.h>

30
#include "stm32f4xx_hal.h"
Dave Hylands's avatar
Dave Hylands committed
31

32
#include "mpconfig.h"
Dave Hylands's avatar
Dave Hylands committed
33
#include "misc.h"
34
#include "systick.h"
35
#include "pendsv.h"
Dave Hylands's avatar
Dave Hylands committed
36
37
#include "qstr.h"
#include "misc.h"
38
#include "nlr.h"
Dave Hylands's avatar
Dave Hylands committed
39
40
41
42
#include "lexer.h"
#include "parse.h"
#include "obj.h"
#include "runtime.h"
43
#include "stackctrl.h"
Dave Hylands's avatar
Dave Hylands committed
44
45
#include "gc.h"
#include "gccollect.h"
46
#include "readline.h"
Dave Hylands's avatar
Dave Hylands committed
47
#include "pyexec.h"
Damien George's avatar
Damien George committed
48
49
#include "i2c.h"
#include "spi.h"
Damien George's avatar
Damien George committed
50
#include "uart.h"
51
#include "timer.h"
52
#include "led.h"
53
54
#include "pin.h"
#include "extint.h"
55
#include "usrsw.h"
56
#include "usb.h"
Damien George's avatar
Damien George committed
57
#include "rtc.h"
58
#include "storage.h"
Damien George's avatar
Damien George committed
59
#include "sdcard.h"
60
#include "ff.h"
61
#include "rng.h"
62
#include "accel.h"
Dave Hylands's avatar
Dave Hylands committed
63
#include "servo.h"
Damien George's avatar
Damien George committed
64
#include "dac.h"
Dave Hylands's avatar
Dave Hylands committed
65
#include "pybwlan.h"
66
#include "pybstdio.h"
Dave Hylands's avatar
Dave Hylands committed
67

68
69
void SystemClock_Config(void);

Dave Hylands's avatar
Dave Hylands committed
70
71
72
73
74
75
76
77
78
79
80
int errno;

static FATFS fatfs0;
#if MICROPY_HW_HAS_SDCARD
static FATFS fatfs1;
#endif

void flash_error(int n) {
    for (int i = 0; i < n; i++) {
        led_state(PYB_LED_R1, 1);
        led_state(PYB_LED_R2, 0);
81
        HAL_Delay(250);
Dave Hylands's avatar
Dave Hylands committed
82
83
        led_state(PYB_LED_R1, 0);
        led_state(PYB_LED_R2, 1);
84
        HAL_Delay(250);
Dave Hylands's avatar
Dave Hylands committed
85
86
87
88
    }
    led_state(PYB_LED_R2, 0);
}

mux's avatar
mux committed
89
void NORETURN __fatal_error(const char *msg) {
90
91
92
93
94
95
96
97
98
99
100
101
    for (volatile uint delay = 0; delay < 10000000; delay++) {
    }
    led_state(1, 1);
    led_state(2, 1);
    led_state(3, 1);
    led_state(4, 1);
    stdout_tx_strn("\nFATAL ERROR:\n", 14);
    stdout_tx_strn(msg, strlen(msg));
    for (uint i = 0;;) {
        led_toggle(((i++) & 3) + 1);
        for (volatile uint delay = 0; delay < 10000000; delay++) {
        }
102
103
        if (i >= 16) {
            // to conserve power
104
105
            __WFI();
        }
Dave Hylands's avatar
Dave Hylands committed
106
107
108
    }
}

109
110
111
112
113
void nlr_jump_fail(void *val) {
    printf("FATAL: uncaught exception %p\n", val);
    __fatal_error("");
}

mux's avatar
mux committed
114
#ifndef NDEBUG
mux's avatar
mux committed
115
void MP_WEAK __assert_func(const char *file, int line, const char *func, const char *expr) {
mux's avatar
mux committed
116
117
118
119
    (void)func;
    printf("Assertion '%s' failed, at file %s:%d\n", expr, file, line);
    __fatal_error("");
}
mux's avatar
mux committed
120
#endif
mux's avatar
mux committed
121

122
123
124
125
126
127
128
129
void enable_irq(void) {
    __enable_irq();
}

void disable_irq(void) {
    __disable_irq();
}

Dave Hylands's avatar
Dave Hylands committed
130
131
STATIC mp_obj_t pyb_config_source_dir = MP_OBJ_NULL;
STATIC mp_obj_t pyb_config_main = MP_OBJ_NULL;
132
STATIC mp_obj_t pyb_config_usb_mode = MP_OBJ_NULL;
Dave Hylands's avatar
Dave Hylands committed
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151

STATIC mp_obj_t pyb_source_dir(mp_obj_t source_dir) {
    if (MP_OBJ_IS_STR(source_dir)) {
        pyb_config_source_dir = source_dir;
    }
    return mp_const_none;
}

MP_DEFINE_CONST_FUN_OBJ_1(pyb_source_dir_obj, pyb_source_dir);

STATIC mp_obj_t pyb_main(mp_obj_t main) {
    if (MP_OBJ_IS_STR(main)) {
        pyb_config_main = main;
    }
    return mp_const_none;
}

MP_DEFINE_CONST_FUN_OBJ_1(pyb_main_obj, pyb_main);

152
153
154
155
156
157
158
159
160
STATIC mp_obj_t pyb_usb_mode(mp_obj_t usb_mode) {
    if (MP_OBJ_IS_STR(usb_mode)) {
        pyb_config_usb_mode = usb_mode;
    }
    return mp_const_none;
}

MP_DEFINE_CONST_FUN_OBJ_1(pyb_usb_mode_obj, pyb_usb_mode);

Dave Hylands's avatar
Dave Hylands committed
161
162
163
164
static const char fresh_boot_py[] =
"# boot.py -- run on boot-up\n"
"# can run arbitrary Python, but best to keep it minimal\n"
"\n"
165
"import pyb\n"
166
167
168
"#pyb.main('main.py') # main script to run after this one\n"
"#pyb.usb_mode('CDC+MSC') # act as a serial and a storage device\n"
"#pyb.usb_mode('CDC+HID') # act as a serial device and a mouse\n"
Dave Hylands's avatar
Dave Hylands committed
169
170
171
172
173
174
;

static const char fresh_main_py[] =
"# main.py -- put your code here!\n"
;

175
static const char fresh_pybcdc_inf[] =
176
#include "genhdr/pybcdc_inf.h"
177
178
;

179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
static const char fresh_readme_txt[] =
"This is a Micro Python board\r\n"
"\r\n"
"You can get started right away by writing your Python code in 'main.py'.\r\n"
"\r\n"
"For a serial prompt:\r\n"
" - Windows: you need to go to 'Device manager', right click on the unknown device,\r\n"
"   then update the driver software, using the 'pybcdc.inf' file found on this drive.\r\n"
"   Then use a terminal program like Hyperterminal or putty.\r\n"
" - Mac OS X: use the command: screen /dev/tty.usbmodem*\r\n"
" - Linux: use the command: screen /dev/ttyACM0\r\n"
"\r\n"
"Please visit http://micropython.org/help/ for further help.\r\n"
;

Dave Hylands's avatar
Dave Hylands committed
194
195
196
int main(void) {
    // TODO disable JTAG

197
198
    // Stack limit should be less than real stack size, so we
    // had chance to recover from limit hit.
Paul Sokolovsky's avatar
Paul Sokolovsky committed
199
    mp_stack_set_limit(&_ram_end - &_heap_end - 512);
200

Dave Hylands's avatar
Dave Hylands committed
201
202
203
204
205
206
207
208
    /* STM32F4xx HAL library initialization:
         - Configure the Flash prefetch, instruction and Data caches
         - Configure the Systick to generate an interrupt each 1 msec
         - Set NVIC Group Priority to 4
         - Global MSP (MCU Support Package) initialization
       */
    HAL_Init();

209
210
211
212
213
214
215
216
217
218
219
220
    // set the system clock to be HSE
    SystemClock_Config();

    // enable GPIO clocks
    __GPIOA_CLK_ENABLE();
    __GPIOB_CLK_ENABLE();
    __GPIOC_CLK_ENABLE();
    __GPIOD_CLK_ENABLE();

    // enable the CCM RAM
    __CCMDATARAMEN_CLK_ENABLE();

Dave Hylands's avatar
Dave Hylands committed
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
#if 0
#if defined(NETDUINO_PLUS_2)
    {
        GPIO_InitTypeDef GPIO_InitStructure;
        GPIO_InitStructure.GPIO_Speed = GPIO_Speed_25MHz;
        GPIO_InitStructure.GPIO_Mode = GPIO_Mode_OUT;
        GPIO_InitStructure.GPIO_OType = GPIO_OType_PP;
        GPIO_InitStructure.GPIO_PuPd = GPIO_PuPd_NOPULL;

#if MICROPY_HW_HAS_SDCARD
        // Turn on the power enable for the sdcard (PB1)
        GPIO_InitStructure.GPIO_Pin = GPIO_Pin_1;
        GPIO_Init(GPIOB, &GPIO_InitStructure);
        GPIO_WriteBit(GPIOB, GPIO_Pin_1, Bit_SET);
#endif

        // Turn on the power for the 5V on the expansion header (PB2)
        GPIO_InitStructure.GPIO_Pin = GPIO_Pin_2;
        GPIO_Init(GPIOB, &GPIO_InitStructure);
        GPIO_WriteBit(GPIOB, GPIO_Pin_2, Bit_SET);
    }
242
#endif
Dave Hylands's avatar
Dave Hylands committed
243
244
245
246
#endif

    // basic sub-system init
    pendsv_init();
247
    timer_tim3_init();
Dave Hylands's avatar
Dave Hylands committed
248
    led_init();
249
#if MICROPY_HW_HAS_SWITCH
250
    switch_init0();
251
#endif
Dave Hylands's avatar
Dave Hylands committed
252

253
254
255
256
257
258
259
260
261
    int first_soft_reset = true;

soft_reset:

    // check if user switch held to select the reset mode
    led_state(1, 0);
    led_state(2, 1);
    led_state(3, 0);
    led_state(4, 0);
262
    uint reset_mode = 1;
263
264
265
266
267
268
269
270
271

#if MICROPY_HW_HAS_SWITCH
    if (switch_get()) {
        for (uint i = 0; i < 3000; i++) {
            if (!switch_get()) {
                break;
            }
            HAL_Delay(20);
            if (i % 30 == 29) {
272
273
274
                if (++reset_mode > 3) {
                    reset_mode = 1;
                }
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
                led_state(2, reset_mode & 1);
                led_state(3, reset_mode & 2);
                led_state(4, reset_mode & 4);
            }
        }
        // flash the selected reset mode
        for (uint i = 0; i < 6; i++) {
            led_state(2, 0);
            led_state(3, 0);
            led_state(4, 0);
            HAL_Delay(50);
            led_state(2, reset_mode & 1);
            led_state(3, reset_mode & 2);
            led_state(4, reset_mode & 4);
            HAL_Delay(50);
        }
        HAL_Delay(400);
    }
#endif
294

Dave Hylands's avatar
Dave Hylands committed
295
#if MICROPY_HW_ENABLE_RTC
296
297
298
    if (first_soft_reset) {
        rtc_init();
    }
299
#endif
Dave Hylands's avatar
Dave Hylands committed
300
301
302

    // more sub-system init
#if MICROPY_HW_HAS_SDCARD
303
304
305
    if (first_soft_reset) {
        sdcard_init();
    }
Dave Hylands's avatar
Dave Hylands committed
306
#endif
307
308
309
    if (first_soft_reset) {
        storage_init();
    }
Dave Hylands's avatar
Dave Hylands committed
310
311
312

    // GC init
    gc_init(&_heap_start, &_heap_end);
313
314
315
#if MICROPY_ENABLE_EMERGENCY_EXCEPTION_BUF
    mp_init_emergency_exception_buf();
#endif
Dave Hylands's avatar
Dave Hylands committed
316

Damien George's avatar
Damien George committed
317
    // Change #if 0 to #if 1 if you want REPL on UART_6 (or another uart)
Dave Hylands's avatar
Dave Hylands committed
318
319
    // as well as on USB VCP
#if 0
320
321
    {
        mp_obj_t args[2] = {
Damien George's avatar
Damien George committed
322
            MP_OBJ_NEW_SMALL_INT(PYB_UART_6),
323
324
            MP_OBJ_NEW_SMALL_INT(115200),
        };
325
        pyb_stdio_uart = pyb_uart_type.make_new((mp_obj_t)&pyb_uart_type, MP_ARRAY_SIZE(args), 0, args);
326
    }
Dave Hylands's avatar
Dave Hylands committed
327
#else
328
    pyb_stdio_uart = NULL;
Dave Hylands's avatar
Dave Hylands committed
329
330
#endif

Dave Hylands's avatar
Dave Hylands committed
331
332
    // Micro Python init
    qstr_init();
Damien George's avatar
Damien George committed
333
    mp_init();
334
    mp_obj_list_init(mp_sys_path, 0);
335
336
337
    mp_obj_list_append(mp_sys_path, MP_OBJ_NEW_QSTR(MP_QSTR_)); // current dir (or base dir of the script)
    mp_obj_list_append(mp_sys_path, MP_OBJ_NEW_QSTR(MP_QSTR__slash_flash));
    mp_obj_list_append(mp_sys_path, MP_OBJ_NEW_QSTR(MP_QSTR__slash_flash_slash_lib));
338
    mp_obj_list_init(mp_sys_argv, 0);
Dave Hylands's avatar
Dave Hylands committed
339

340
341
    readline_init();

342
343
    pin_init();
    extint_init();
Dave Hylands's avatar
Dave Hylands committed
344
345
346
347

    // local filesystem init
    {
        // try to mount the flash
348
        FRESULT res = f_mount(&fatfs0, "/flash", 1);
349
350
        if (reset_mode == 3 || res == FR_NO_FILESYSTEM) {
            // no filesystem, or asked to reset it, so create a fresh one
Dave Hylands's avatar
Dave Hylands committed
351
352
353

            // LED on to indicate creation of LFS
            led_state(PYB_LED_R2, 1);
354
            uint32_t start_tick = HAL_GetTick();
Dave Hylands's avatar
Dave Hylands committed
355

356
            res = f_mkfs("/flash", 0, 0);
Dave Hylands's avatar
Dave Hylands committed
357
358
359
360
361
362
363
364
            if (res == FR_OK) {
                // success creating fresh LFS
            } else {
                __fatal_error("could not create LFS");
            }

            // create empty main.py
            FIL fp;
365
            f_open(&fp, "/flash/main.py", FA_WRITE | FA_CREATE_ALWAYS);
Dave Hylands's avatar
Dave Hylands committed
366
367
368
369
370
            UINT n;
            f_write(&fp, fresh_main_py, sizeof(fresh_main_py) - 1 /* don't count null terminator */, &n);
            // TODO check we could write n bytes
            f_close(&fp);

371
            // create .inf driver file
372
            f_open(&fp, "/flash/pybcdc.inf", FA_WRITE | FA_CREATE_ALWAYS);
373
374
375
            f_write(&fp, fresh_pybcdc_inf, sizeof(fresh_pybcdc_inf) - 1 /* don't count null terminator */, &n);
            f_close(&fp);

376
            // create readme file
377
            f_open(&fp, "/flash/README.txt", FA_WRITE | FA_CREATE_ALWAYS);
378
379
380
            f_write(&fp, fresh_readme_txt, sizeof(fresh_readme_txt) - 1 /* don't count null terminator */, &n);
            f_close(&fp);

Dave Hylands's avatar
Dave Hylands committed
381
            // keep LED on for at least 200ms
382
            sys_tick_wait_at_least(start_tick, 200);
Dave Hylands's avatar
Dave Hylands committed
383
            led_state(PYB_LED_R2, 0);
384
385
        } else if (res == FR_OK) {
            // mount sucessful
Dave Hylands's avatar
Dave Hylands committed
386
387
388
389
390
        } else {
            __fatal_error("could not access LFS");
        }
    }

391
    // make sure we have a /flash/boot.py
Dave Hylands's avatar
Dave Hylands committed
392
393
    {
        FILINFO fno;
394
395
396
397
#if _USE_LFN
        fno.lfname = NULL;
        fno.lfsize = 0;
#endif
398
        FRESULT res = f_stat("/flash/boot.py", &fno);
Dave Hylands's avatar
Dave Hylands committed
399
400
401
402
403
404
405
406
407
408
409
410
411
        if (res == FR_OK) {
            if (fno.fattrib & AM_DIR) {
                // exists as a directory
                // TODO handle this case
                // see http://elm-chan.org/fsw/ff/img/app2.c for a "rm -rf" implementation
            } else {
                // exists as a file, good!
            }
        } else {
            // doesn't exist, create fresh file

            // LED on to indicate creation of boot.py
            led_state(PYB_LED_R2, 1);
412
            uint32_t start_tick = HAL_GetTick();
Dave Hylands's avatar
Dave Hylands committed
413
414

            FIL fp;
415
            f_open(&fp, "/flash/boot.py", FA_WRITE | FA_CREATE_ALWAYS);
Dave Hylands's avatar
Dave Hylands committed
416
417
418
419
420
421
            UINT n;
            f_write(&fp, fresh_boot_py, sizeof(fresh_boot_py) - 1 /* don't count null terminator */, &n);
            // TODO check we could write n bytes
            f_close(&fp);

            // keep LED on for at least 200ms
422
            sys_tick_wait_at_least(start_tick, 200);
Dave Hylands's avatar
Dave Hylands committed
423
424
425
426
            led_state(PYB_LED_R2, 0);
        }
    }

427
    // root device defaults to internal flash filesystem
428
    f_chdrive("/flash");
Dave Hylands's avatar
Dave Hylands committed
429

430
#if defined(USE_DEVICE_MODE)
431
    usb_storage_medium_t usb_medium = USB_STORAGE_MEDIUM_FLASH;
432
433
#endif

Dave Hylands's avatar
Dave Hylands committed
434
#if MICROPY_HW_HAS_SDCARD
435
    // if an SD card is present then mount it on /sd/
436
    if (reset_mode == 1 && sdcard_is_present()) {
437
        FRESULT res = f_mount(&fatfs1, "/sd", 1);
Dave Hylands's avatar
Dave Hylands committed
438
439
440
        if (res != FR_OK) {
            printf("[SD] could not mount SD card\n");
        } else {
441
            // use SD card as root device
442
443
444
445
446
            f_chdrive("/sd");

            // TODO these should go before the /flash entries in the path
            mp_obj_list_append(mp_sys_path, MP_OBJ_NEW_QSTR(MP_QSTR__slash_sd));
            mp_obj_list_append(mp_sys_path, MP_OBJ_NEW_QSTR(MP_QSTR__slash_sd_slash_lib));
447

Dave Hylands's avatar
Dave Hylands committed
448
449
            if (first_soft_reset) {
                // use SD card as medium for the USB MSD
450
#if defined(USE_DEVICE_MODE)
451
                usb_medium = USB_STORAGE_MEDIUM_SDCARD;
452
#endif
Dave Hylands's avatar
Dave Hylands committed
453
454
455
            }
        }
    }
Dave Hylands's avatar
Dave Hylands committed
456
457
458
#else
    // Get rid of compiler warning if no SDCARD is configured.
    (void)first_soft_reset;
Dave Hylands's avatar
Dave Hylands committed
459
460
#endif

461
    // run boot.py, if it exists
462
    if (reset_mode == 1) {
463
464
        const char *boot_py = "boot.py";
        FRESULT res = f_stat(boot_py, NULL);
465
        if (res == FR_OK) {
466
            if (!pyexec_file(boot_py)) {
467
468
469
470
471
472
473
474
475
476
                flash_error(4);
            }
        }
    }

    // turn boot-up LEDs off
    led_state(2, 0);
    led_state(3, 0);
    led_state(4, 0);

477
#if defined(USE_HOST_MODE)
Dave Hylands's avatar
Dave Hylands committed
478
479
480
481
    // USB host
    pyb_usb_host_init();
#elif defined(USE_DEVICE_MODE)
    // USB device
482
483
484
485
486
487
488
489
490
491
492
    if (reset_mode == 1) {
        usb_device_mode_t usb_mode = USB_DEVICE_MODE_CDC_MSC;
        if (pyb_config_usb_mode != MP_OBJ_NULL) {
            if (strcmp(mp_obj_str_get_str(pyb_config_usb_mode), "CDC+HID") == 0) {
                usb_mode = USB_DEVICE_MODE_CDC_HID;
            }
        }
        pyb_usb_dev_init(usb_mode, usb_medium);
    } else {
        pyb_usb_dev_init(USB_DEVICE_MODE_CDC_MSC, usb_medium);
    }
Dave Hylands's avatar
Dave Hylands committed
493
494
#endif

495
496
    timer_init0();

497
#if MICROPY_HW_ENABLE_RNG
498
    rng_init0();
499
500
#endif

501
    i2c_init0();
Damien George's avatar
Damien George committed
502
    spi_init0();
503

504
505
506
507
508
#if MICROPY_HW_HAS_MMA7660
    // MMA accel: init and reset
    accel_init();
#endif

509
510
511
512
513
514
515
516
517
518
#if MICROPY_HW_ENABLE_SERVO
    // servo
    servo_init();
#endif

#if MICROPY_HW_ENABLE_DAC
    // DAC
    dac_init();
#endif

519
    // now that everything is initialised, run main script
520
    if (reset_mode == 1 && pyexec_mode_kind == PYEXEC_MODE_FRIENDLY_REPL) {
521
        const char *main_py;
Dave Hylands's avatar
Dave Hylands committed
522
        if (pyb_config_main == MP_OBJ_NULL) {
523
            main_py = "main.py";
Dave Hylands's avatar
Dave Hylands committed
524
        } else {
525
            main_py = mp_obj_str_get_str(pyb_config_main);
Dave Hylands's avatar
Dave Hylands committed
526
        }
527
        FRESULT res = f_stat(main_py, NULL);
528
        if (res == FR_OK) {
529
            if (!pyexec_file(main_py)) {
530
531
                flash_error(3);
            }
Dave Hylands's avatar
Dave Hylands committed
532
533
534
        }
    }

535
536
#if MICROPY_HW_ENABLE_CC3K
    // wifi using the CC3000 driver
Dave Hylands's avatar
Dave Hylands committed
537
538
539
540
    pyb_wlan_init();
    pyb_wlan_start();
#endif

541
542
543
544
545
546
547
548
549
550
551
552
553
    // enter REPL
    // REPL mode can change, or it can request a soft reset
    for (;;) {
        if (pyexec_mode_kind == PYEXEC_MODE_RAW_REPL) {
            if (pyexec_raw_repl() != 0) {
                break;
            }
        } else {
            if (pyexec_friendly_repl() != 0) {
                break;
            }
        }
    }
Dave Hylands's avatar
Dave Hylands committed
554
555
556
557
558

    printf("PYB: sync filesystems\n");
    storage_flush();

    printf("PYB: soft reboot\n");
559
    timer_deinit();
Dave Hylands's avatar
Dave Hylands committed
560
561
562
563

    first_soft_reset = false;
    goto soft_reset;
}
564
565
566
567
568
569

STATIC NORETURN mp_obj_t mp_sys_exit(uint n_args, const mp_obj_t *args) {
    int rc = 0;
    if (n_args > 0) {
        rc = mp_obj_get_int(args[0]);
    }
570
    nlr_raise(mp_obj_new_exception_arg1(&mp_type_SystemExit, mp_obj_new_int(rc)));
571
572
}
MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_sys_exit_obj, 0, 1, mp_sys_exit);