main.c 19.5 KB
Newer Older
1
#include <stdio.h>
2
#include <string.h>
Damien's avatar
Damien committed
3
4
#include <stm32f4xx.h>
#include <stm32f4xx_rcc.h>
5
#include <stm32f4xx_syscfg.h>
6
#include <stm32f4xx_gpio.h>
7
#include <stm32f4xx_exti.h>
8
#include <stm32f4xx_tim.h>
Damien's avatar
Damien committed
9
#include <stm32f4xx_pwr.h>
10
#include <stm32f4xx_rtc.h>
11
#include <stm32f4xx_usart.h>
12
#include <stm32f4xx_rng.h>
13
#include <usbd_storage_msd.h>
14
#include <stm_misc.h>
Damien's avatar
Damien committed
15
16
#include "std.h"

17
#include "misc.h"
18
19
#include "ff.h"
#include "mpconfig.h"
20
#include "qstr.h"
21
22
23
#include "nlr.h"
#include "misc.h"
#include "lexer.h"
24
#include "lexerfatfs.h"
25
26
#include "parse.h"
#include "obj.h"
27
#include "parsehelper.h"
28
#include "compile.h"
29
30
#include "runtime0.h"
#include "runtime.h"
Damien's avatar
Damien committed
31
#include "gc.h"
32
#include "gccollect.h"
33
#include "systick.h"
34
#include "pendsv.h"
35
#include "pyexec.h"
36
#include "led.h"
37
#include "gpio.h"
38
#include "servo.h"
39
#include "lcd.h"
40
#include "storage.h"
41
#include "sdcard.h"
Damien George's avatar
Damien George committed
42
#include "accel.h"
43
#include "usart.h"
Damien's avatar
Damien committed
44
#include "usb.h"
45
#include "timer.h"
46
#include "audio.h"
47
#include "pybwlan.h"
48
#include "i2c.h"
49
#include "usrsw.h"
mux's avatar
mux committed
50
#include "adc.h"
mux's avatar
mux committed
51
#include "rtc.h"
mux's avatar
mux committed
52
#include "file.h"
Dave Hylands's avatar
Dave Hylands committed
53
#include "pin.h"
Dave Hylands's avatar
Dave Hylands committed
54
#include "exti.h"
55
56

int errno;
Damien's avatar
Damien committed
57

58
static FATFS fatfs0;
59
#if MICROPY_HW_HAS_SDCARD
60
static FATFS fatfs1;
61
#endif
62

63
64
65
66
67
68
69
70
71
72
73
74
void flash_error(int n) {
    for (int i = 0; i < n; i++) {
        led_state(PYB_LED_R1, 1);
        led_state(PYB_LED_R2, 0);
        sys_tick_delay_ms(250);
        led_state(PYB_LED_R1, 0);
        led_state(PYB_LED_R2, 1);
        sys_tick_delay_ms(250);
    }
    led_state(PYB_LED_R2, 0);
}

Damien's avatar
Damien committed
75
void __fatal_error(const char *msg) {
mux's avatar
mux committed
76
#if MICROPY_HW_HAS_LCD
Damien's avatar
Damien committed
77
78
    lcd_print_strn("\nFATAL ERROR:\n", 14);
    lcd_print_strn(msg, strlen(msg));
mux's avatar
mux committed
79
#endif
Damien's avatar
Damien committed
80
    for (;;) {
81
        flash_error(1);
Damien's avatar
Damien committed
82
83
84
    }
}

85
86
static mp_obj_t pyb_config_source_dir = MP_OBJ_NULL;
static mp_obj_t pyb_config_main = MP_OBJ_NULL;
87

88
mp_obj_t pyb_source_dir(mp_obj_t source_dir) {
89
90
91
    if (MP_OBJ_IS_STR(source_dir)) {
        pyb_config_source_dir = source_dir;
    }
92
    return mp_const_none;
93
94
}

95
mp_obj_t pyb_main(mp_obj_t main) {
96
97
98
    if (MP_OBJ_IS_STR(main)) {
        pyb_config_main = main;
    }
99
    return mp_const_none;
100
101
102
}

// sync all file systems
103
mp_obj_t pyb_sync(void) {
104
    storage_flush();
105
    return mp_const_none;
106
}
Damien's avatar
Damien committed
107

108
109
110
mp_obj_t pyb_delay(mp_obj_t count) {
    sys_tick_delay_ms(mp_obj_get_int(count));
    return mp_const_none;
Damien's avatar
Damien committed
111
112
}

113
void fatality(void) {
114
115
116
117
118
119
    led_state(PYB_LED_R1, 1);
    led_state(PYB_LED_G1, 1);
    led_state(PYB_LED_R2, 1);
    led_state(PYB_LED_G2, 1);
}

120
static const char fresh_boot_py[] =
121
122
123
124
125
126
127
128
129
130
131
"# boot.py -- run on boot-up\n"
"# can run arbitrary Python, but best to keep it minimal\n"
"\n"
"pyb.source_dir('/src')\n"
"pyb.main('main.py')\n"
"#pyb.usb_usr('VCP')\n"
"#pyb.usb_msd(True, 'dual partition')\n"
"#pyb.flush_cache(False)\n"
"#pyb.error_log('error.txt')\n"
;

132
133
134
135
136
137
138
139
140
141
static const char fresh_main_py[] =
"# main.py -- put your code here!\n"
;

static const char *help_text =
"Welcome to Micro Python!\n\n"
"This is a *very* early version of Micro Python and has minimal functionality.\n\n"
"Specific commands for the board:\n"
"    pyb.info()     -- print some general information\n"
"    pyb.gc()       -- run the garbage collector\n"
142
"    pyb.repl_info(<val>) -- enable/disable printing of info after each command\n"
143
144
145
146
147
148
149
150
"    pyb.delay(<n>) -- wait for n milliseconds\n"
"    pyb.Led(<n>)   -- create Led object for LED n (n=1,2)\n"
"                      Led methods: on(), off()\n"
"    pyb.Servo(<n>) -- create Servo object for servo n (n=1,2,3,4)\n"
"                      Servo methods: angle(<x>)\n"
"    pyb.switch()   -- return True/False if switch pressed or not\n"
"    pyb.accel()    -- get accelerometer values\n"
"    pyb.rand()     -- get a 16-bit random number\n"
151
"    pyb.gpio(<port>)           -- get port value (port='A4' for example)\n"
152
"    pyb.gpio(<port>, <val>)    -- set port value, True or False, 1 or 0\n"
153
154
"    pyb.ADC(<port>) -- make an analog port object (port='C0' for example)\n"
"                       ADC methods: read()\n"
155
156
157
;

// get some help about available functions
158
static mp_obj_t pyb_help(void) {
159
    printf("%s", help_text);
160
    return mp_const_none;
161
162
}

163
// get lots of info about the board
164
static mp_obj_t pyb_info(void) {
165
166
167
168
169
170
    // get and print unique id; 96 bits
    {
        byte *id = (byte*)0x1fff7a10;
        printf("ID=%02x%02x%02x%02x:%02x%02x%02x%02x:%02x%02x%02x%02x\n", id[0], id[1], id[2], id[3], id[4], id[5], id[6], id[7], id[8], id[9], id[10], id[11]);
    }

171
172
173
174
175
176
177
178
179
180
    // get and print clock speeds
    // SYSCLK=168MHz, HCLK=168MHz, PCLK1=42MHz, PCLK2=84MHz
    {
        RCC_ClocksTypeDef rcc_clocks;
        RCC_GetClocksFreq(&rcc_clocks);
        printf("S=%lu\nH=%lu\nP1=%lu\nP2=%lu\n", rcc_clocks.SYSCLK_Frequency, rcc_clocks.HCLK_Frequency, rcc_clocks.PCLK1_Frequency, rcc_clocks.PCLK2_Frequency);
    }

    // to print info about memory
    {
181
182
183
184
185
186
187
        printf("_text_end=%p\n", &_text_end);
        printf("_data_start_init=%p\n", &_data_start_init);
        printf("_data_start=%p\n", &_data_start);
        printf("_data_end=%p\n", &_data_end);
        printf("_bss_start=%p\n", &_bss_start);
        printf("_bss_end=%p\n", &_bss_end);
        printf("_stack_end=%p\n", &_stack_end);
188
        printf("_ram_start=%p\n", &_ram_start);
189
        printf("_heap_start=%p\n", &_heap_start);
Damien George's avatar
Damien George committed
190
191
192
193
194
195
196
197
198
        printf("_heap_end=%p\n", &_heap_end);
        printf("_ram_end=%p\n", &_ram_end);
    }

    // qstr info
    {
        uint n_pool, n_qstr, n_str_data_bytes, n_total_bytes;
        qstr_pool_info(&n_pool, &n_qstr, &n_str_data_bytes, &n_total_bytes);
        printf("qstr:\n  n_pool=%u\n  n_qstr=%u\n  n_str_data_bytes=%u\n  n_total_bytes=%u\n", n_pool, n_qstr, n_str_data_bytes, n_total_bytes);
199
200
    }

201
202
203
204
205
206
207
208
209
210
    // GC info
    {
        gc_info_t info;
        gc_info(&info);
        printf("GC:\n");
        printf("  %lu total\n", info.total);
        printf("  %lu : %lu\n", info.used, info.free);
        printf("  1=%lu 2=%lu m=%lu\n", info.num_1block, info.num_2block, info.max_block);
    }

211
212
213
214
215
    // free space on flash
    {
        DWORD nclst;
        FATFS *fatfs;
        f_getfree("0:", &nclst, &fatfs);
216
        printf("LFS free: %u bytes\n", (uint)(nclst * fatfs->csize * 512));
217
    }
218

219
    return mp_const_none;
220
221
}

222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
static void SYSCLKConfig_STOP(void) {
    /* After wake-up from STOP reconfigure the system clock */
    /* Enable HSE */
    RCC_HSEConfig(RCC_HSE_ON);

    /* Wait till HSE is ready */
    while (RCC_GetFlagStatus(RCC_FLAG_HSERDY) == RESET) {
    }

    /* Enable PLL */
    RCC_PLLCmd(ENABLE);

    /* Wait till PLL is ready */
    while (RCC_GetFlagStatus(RCC_FLAG_PLLRDY) == RESET) {
    }

    /* Select PLL as system clock source */
    RCC_SYSCLKConfig(RCC_SYSCLKSource_PLLCLK);

    /* Wait till PLL is used as system clock source */
    while (RCC_GetSYSCLKSource() != 0x08) {
    }
}

246
static mp_obj_t pyb_stop(void) {
247
248
249
250
251
252
253
254
255
256
257
258
    PWR_EnterSTANDBYMode();
    //PWR_FlashPowerDownCmd(ENABLE); don't know what the logic is with this

    /* Enter Stop Mode */
    PWR_EnterSTOPMode(PWR_Regulator_LowPower, PWR_STOPEntry_WFI);

    /* Configures system clock after wake-up from STOP: enable HSE, PLL and select 
     *        PLL as system clock source (HSE and PLL are disabled in STOP mode) */
    SYSCLKConfig_STOP();

    //PWR_FlashPowerDownCmd(DISABLE);

259
    return mp_const_none;
260
261
}

262
static mp_obj_t pyb_standby(void) {
263
    PWR_EnterSTANDBYMode();
264
    return mp_const_none;
265
266
}

267
268
mp_obj_t pyb_hid_send_report(mp_obj_t arg) {
    mp_obj_t *items = mp_obj_get_array_fixed_n(arg, 4);
269
    uint8_t data[4];
270
271
272
273
    data[0] = mp_obj_get_int(items[0]);
    data[1] = mp_obj_get_int(items[1]);
    data[2] = mp_obj_get_int(items[2]);
    data[3] = mp_obj_get_int(items[3]);
274
    usb_hid_send_report(data);
275
    return mp_const_none;
276
277
}

278
279
mp_obj_t pyb_rng_get(void) {
    return mp_obj_new_int(RNG_GetRandomNumber() >> 16);
280
281
}

282
283
284
285
mp_obj_t pyb_millis(void) {
    return mp_obj_new_int(sys_tick_counter);
}

286
int main(void) {
287
    // TODO disable JTAG
Damien's avatar
Damien committed
288

289
290
291
    // update the SystemCoreClock variable
    SystemCoreClockUpdate();

292
293
294
295
    // set interrupt priority config to use all 4 bits for pre-empting
    NVIC_PriorityGroupConfig(NVIC_PriorityGroup_4);

    // enable the CCM RAM and the GPIO's
296
    RCC->AHB1ENR |= RCC_AHB1ENR_CCMDATARAMEN | RCC_AHB1ENR_GPIOAEN | RCC_AHB1ENR_GPIOBEN | RCC_AHB1ENR_GPIOCEN | RCC_AHB1ENR_GPIODEN;
297

mux's avatar
mux committed
298
#if MICROPY_HW_HAS_SDCARD
299
    {
300
301
302
303
304
305
306
307
308
309
310
311
312
        // configure SDIO pins to be high to start with (apparently makes it more robust)
        // FIXME this is not making them high, it just makes them outputs...
        GPIO_InitTypeDef GPIO_InitStructure;
        GPIO_InitStructure.GPIO_Pin = GPIO_Pin_8 | GPIO_Pin_9 | GPIO_Pin_10 | GPIO_Pin_11 | GPIO_Pin_12;
        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;
        GPIO_Init(GPIOC, &GPIO_InitStructure);

        // Configure PD.02 CMD line
        GPIO_InitStructure.GPIO_Pin = GPIO_Pin_2;
        GPIO_Init(GPIOD, &GPIO_InitStructure);
313
    }
mux's avatar
mux committed
314
#endif
Dave Hylands's avatar
Dave Hylands committed
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
#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);
    }
#endif
336

337
338
    // basic sub-system init
    sys_tick_init();
339
    pendsv_init();
Damien's avatar
Damien committed
340
    led_init();
mux's avatar
mux committed
341
342

#if MICROPY_HW_ENABLE_RTC
343
    rtc_init();
mux's avatar
mux committed
344
#endif
345
346
347
348
349

    // turn on LED to indicate bootup
    led_state(PYB_LED_G1, 1);

    // more sub-system init
350
351
#if MICROPY_HW_HAS_SDCARD
    sdcard_init();
mux's avatar
mux committed
352
#endif
353
    storage_init();
354

355
    // uncomment these 2 lines if you want REPL on USART_6 (or another usart) as well as on USB VCP
356
    //pyb_usart_global_debug = PYB_USART_YA;
357
    //usart_init(pyb_usart_global_debug, 115200);
Damien's avatar
Damien committed
358

359
360
    int first_soft_reset = true;

361
362
soft_reset:

Damien's avatar
Damien committed
363
    // GC init
364
    gc_init(&_heap_start, &_heap_end);
Damien's avatar
Damien committed
365

366
    // Micro Python init
367
368
    qstr_init();
    rt_init();
369
370
371
372
373
    mp_obj_t def_path[3];
    def_path[0] = MP_OBJ_NEW_QSTR(MP_QSTR_0_colon__slash_);
    def_path[1] = MP_OBJ_NEW_QSTR(MP_QSTR_0_colon__slash_src);
    def_path[2] = MP_OBJ_NEW_QSTR(MP_QSTR_0_colon__slash_lib);
    sys_path = mp_obj_new_list(3, def_path);
374

Dave Hylands's avatar
Dave Hylands committed
375
376
377
378
379
    exti_init_early();
#if MICROPY_HW_HAS_SWITCH
    switch_init();
#endif

mux's avatar
mux committed
380
#if MICROPY_HW_HAS_LCD
381
    // LCD init (just creates class, init hardware by calling LCD())
382
    lcd_init();
mux's avatar
mux committed
383
#endif
384

mux's avatar
mux committed
385
#if MICROPY_HW_ENABLE_SERVO
386
387
    // servo
    servo_init();
mux's avatar
mux committed
388
#endif
389

mux's avatar
mux committed
390
#if MICROPY_HW_ENABLE_AUDIO
391
    // audio
mux's avatar
mux committed
392
393
    audio_init();
#endif
394

mux's avatar
mux committed
395
#if MICROPY_HW_ENABLE_TIMER
396
397
    // timer
    timer_init();
mux's avatar
mux committed
398
#endif
399

mux's avatar
mux committed
400
#if MICROPY_HW_ENABLE_RNG
401
    // RNG
mux's avatar
mux committed
402
403
404
    RCC_AHB2PeriphClockCmd(RCC_AHB2Periph_RNG, ENABLE);
    RNG_Cmd(ENABLE);
#endif
405

406
    // add some functions to the python namespace
407
    {
408
409
410
411
        rt_store_name(MP_QSTR_help, rt_make_function_n(0, pyb_help));

        mp_obj_t m = mp_obj_new_module(MP_QSTR_pyb);
        rt_store_attr(m, MP_QSTR_info, rt_make_function_n(0, pyb_info));
412
413
        rt_store_attr(m, MP_QSTR_gc, (mp_obj_t)&pyb_gc_obj);
        rt_store_attr(m, qstr_from_str("repl_info"), rt_make_function_n(1, pyb_set_repl_info));
mux's avatar
mux committed
414
#if MICROPY_HW_HAS_SDCARD
415
        rt_store_attr(m, qstr_from_str("SD"), (mp_obj_t)&pyb_sdcard_obj);
mux's avatar
mux committed
416
#endif
417
418
419
420
421
422
        rt_store_attr(m, MP_QSTR_stop, rt_make_function_n(0, pyb_stop));
        rt_store_attr(m, MP_QSTR_standby, rt_make_function_n(0, pyb_standby));
        rt_store_attr(m, MP_QSTR_source_dir, rt_make_function_n(1, pyb_source_dir));
        rt_store_attr(m, MP_QSTR_main, rt_make_function_n(1, pyb_main));
        rt_store_attr(m, MP_QSTR_sync, rt_make_function_n(0, pyb_sync));
        rt_store_attr(m, MP_QSTR_delay, rt_make_function_n(1, pyb_delay));
mux's avatar
mux committed
423
#if MICROPY_HW_HAS_SWITCH
424
        rt_store_attr(m, MP_QSTR_switch, (mp_obj_t)&pyb_switch_obj);
mux's avatar
mux committed
425
426
#endif
#if MICROPY_HW_ENABLE_SERVO
427
        rt_store_attr(m, MP_QSTR_servo, rt_make_function_n(2, pyb_servo_set));
mux's avatar
mux committed
428
#endif
429
        rt_store_attr(m, MP_QSTR_pwm, rt_make_function_n(2, pyb_pwm_set));
mux's avatar
mux committed
430
#if MICROPY_HW_HAS_MMA7660
Damien George's avatar
Damien George committed
431
432
433
        rt_store_attr(m, MP_QSTR_accel, (mp_obj_t)&pyb_accel_read_obj);
        rt_store_attr(m, MP_QSTR_accel_read, (mp_obj_t)&pyb_accel_read_all_obj);
        rt_store_attr(m, MP_QSTR_accel_mode, (mp_obj_t)&pyb_accel_write_mode_obj);
434
#endif
435
        rt_store_attr(m, MP_QSTR_hid, rt_make_function_n(1, pyb_hid_send_report));
436
#if MICROPY_HW_ENABLE_RTC
437
438
        rt_store_attr(m, MP_QSTR_time, (mp_obj_t)&pyb_rtc_read_obj);
        rt_store_attr(m, qstr_from_str("rtc_info"), (mp_obj_t)&pyb_rtc_info_obj);
mux's avatar
mux committed
439
440
#endif
#if MICROPY_HW_ENABLE_RNG
441
        rt_store_attr(m, MP_QSTR_rand, rt_make_function_n(0, pyb_rng_get));
mux's avatar
mux committed
442
#endif
443
        rt_store_attr(m, MP_QSTR_Led, (mp_obj_t)&pyb_Led_obj);
mux's avatar
mux committed
444
#if MICROPY_HW_ENABLE_SERVO
445
        rt_store_attr(m, MP_QSTR_Servo, rt_make_function_n(1, pyb_Servo));
mux's avatar
mux committed
446
#endif
447
448
        rt_store_attr(m, MP_QSTR_I2C, rt_make_function_n(2, pyb_I2C));
        rt_store_attr(m, MP_QSTR_Usart, rt_make_function_n(2, pyb_Usart));
449
450
        rt_store_attr(m, qstr_from_str("ADC_all"), (mp_obj_t)&pyb_ADC_all_obj);
        rt_store_attr(m, MP_QSTR_ADC, (mp_obj_t)&pyb_ADC_obj);
451
        rt_store_attr(m, qstr_from_str("millis"), rt_make_function_n(0, pyb_millis));
452

Dave Hylands's avatar
Dave Hylands committed
453
        pin_map_init(m);
454
        gpio_init(m);
Dave Hylands's avatar
Dave Hylands committed
455
        exti_init(m);
456
457
458
        rt_store_name(MP_QSTR_pyb, m);

        rt_store_name(MP_QSTR_open, rt_make_function_n(2, pyb_io_open));
459
    }
460

461
462
    // check if user switch held (initiates reset of filesystem)
    bool reset_filesystem = false;
mux's avatar
mux committed
463
#if MICROPY_HW_HAS_SWITCH
464
    if (switch_get()) {
465
466
        reset_filesystem = true;
        for (int i = 0; i < 50; i++) {
467
            if (!switch_get()) {
468
469
470
471
472
473
                reset_filesystem = false;
                break;
            }
            sys_tick_delay_ms(10);
        }
    }
mux's avatar
mux committed
474
#endif
475
476
477
478
    // local filesystem init
    {
        // try to mount the flash
        FRESULT res = f_mount(&fatfs0, "0:", 1);
479
        if (!reset_filesystem && res == FR_OK) {
480
            // mount sucessful
481
        } else if (reset_filesystem || res == FR_NO_FILESYSTEM) {
482
            // no filesystem, so create a fresh one
483
            // TODO doesn't seem to work correctly when reset_filesystem is true...
484
485
486
487
488
489
490
491
492
493
494
495

            // LED on to indicate creation of LFS
            led_state(PYB_LED_R2, 1);
            uint32_t stc = sys_tick_counter;

            res = f_mkfs("0:", 0, 0);
            if (res == FR_OK) {
                // success creating fresh LFS
            } else {
                __fatal_error("could not create LFS");
            }

496
497
498
499
500
501
502
503
504
505
506
507
            // create src directory
            res = f_mkdir("0:/src");
            // ignore result from mkdir

            // create empty main.py
            FIL fp;
            f_open(&fp, "0:/src/main.py", FA_WRITE | FA_CREATE_ALWAYS);
            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);

508
509
            // keep LED on for at least 200ms
            sys_tick_wait_at_least(stc, 200);
510
511
512
513
            led_state(PYB_LED_R2, 0);
        } else {
            __fatal_error("could not access LFS");
        }
Damien's avatar
Damien committed
514
515
    }

516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
    // make sure we have a /boot.py
    {
        FILINFO fno;
        FRESULT res = f_stat("0:/boot.py", &fno);
        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);
            uint32_t stc = sys_tick_counter;

            FIL fp;
            f_open(&fp, "0:/boot.py", FA_WRITE | FA_CREATE_ALWAYS);
            UINT n;
538
            f_write(&fp, fresh_boot_py, sizeof(fresh_boot_py) - 1 /* don't count null terminator */, &n);
539
540
541
            // TODO check we could write n bytes
            f_close(&fp);

542
543
            // keep LED on for at least 200ms
            sys_tick_wait_at_least(stc, 200);
544
545
546
547
            led_state(PYB_LED_R2, 0);
        }
    }

548
    // run /boot.py
549
    if (!pyexec_file("0:/boot.py")) {
550
551
552
        flash_error(4);
    }

553
    if (first_soft_reset) {
mux's avatar
mux committed
554
#if MICROPY_HW_HAS_MMA7660
Damien George's avatar
Damien George committed
555
556
        // MMA accel: init and reset address to zero
        accel_init();
557
#endif
Damien's avatar
Damien committed
558
559
    }

560
561
    // turn boot-up LED off
    led_state(PYB_LED_G1, 0);
562

563
564
565
566
567
568
#if MICROPY_HW_HAS_SDCARD
    // if an SD card is present then mount it on 1:/
    if (sdcard_is_present()) {
        FRESULT res = f_mount(&fatfs1, "1:", 1);
        if (res != FR_OK) {
            printf("[SD] could not mount SD card\n");
569
570
571
572
573
        } else {
            if (first_soft_reset) {
                // use SD card as medium for the USB MSD
                usbd_storage_select_medium(USBD_STORAGE_MEDIUM_SDCARD);
            }
574
575
576
577
        }
    }
#endif

578
579
580
581
582
#ifdef USE_HOST_MODE
    // USB host
    pyb_usb_host_init();
#elif defined(USE_DEVICE_MODE)
    // USB device
583
    pyb_usb_dev_init(PYB_USB_DEV_VCP_MSC);
584
585
#endif

586
587
588
589
    // run main script
    {
        vstr_t *vstr = vstr_new();
        vstr_add_str(vstr, "0:/");
590
        if (pyb_config_source_dir == MP_OBJ_NULL) {
591
592
            vstr_add_str(vstr, "src");
        } else {
593
            vstr_add_str(vstr, mp_obj_str_get_str(pyb_config_source_dir));
594
595
        }
        vstr_add_char(vstr, '/');
596
        if (pyb_config_main == MP_OBJ_NULL) {
597
598
            vstr_add_str(vstr, "main.py");
        } else {
599
            vstr_add_str(vstr, mp_obj_str_get_str(pyb_config_main));
600
        }
601
        if (!pyexec_file(vstr_str(vstr))) {
602
            flash_error(3);
603
        }
604
        vstr_free(vstr);
605
606
    }

Damien's avatar
Damien committed
607

mux's avatar
mux committed
608
#if MICROPY_HW_HAS_MMA7660
609
610
611
612
613
614
615
616
    // HID example
    if (0) {
        uint8_t data[4];
        data[0] = 0;
        data[1] = 1;
        data[2] = -2;
        data[3] = 0;
        for (;;) {
mux's avatar
mux committed
617
        #if MICROPY_HW_HAS_SWITCH
618
            if (switch_get()) {
619
620
621
622
                data[0] = 0x01; // 0x04 is middle, 0x02 is right
            } else {
                data[0] = 0x00;
            }
mux's avatar
mux committed
623
624
625
        #else
            data[0] = 0x00;
        #endif
Damien George's avatar
Damien George committed
626
627
628
            accel_start(0x4c /* ACCEL_ADDR */, 1);
            accel_send_byte(0);
            accel_restart(0x4c /* ACCEL_ADDR */, 0);
629
            for (int i = 0; i <= 1; i++) {
Damien George's avatar
Damien George committed
630
                int v = accel_read_ack() & 0x3f;
631
632
633
634
635
                if (v & 0x20) {
                    v |= ~0x1f;
                }
                data[1 + i] = v;
            }
Damien George's avatar
Damien George committed
636
            accel_read_nack();
637
638
639
640
            usb_hid_send_report(data);
            sys_tick_delay_ms(15);
        }
    }
641
#endif
642

mux's avatar
mux committed
643
#if MICROPY_HW_HAS_WLAN
644
    // wifi
mux's avatar
mux committed
645
646
647
    pyb_wlan_init();
    pyb_wlan_start();
#endif
648

649
    pyexec_repl();
650

651
652
653
654
    printf("PYB: sync filesystems\n");
    pyb_sync();

    printf("PYB: soft reboot\n");
655
656

    first_soft_reset = false;
657
    goto soft_reset;
Damien's avatar
Damien committed
658
}
659

660
661
// these 2 functions seem to actually work... no idea why
// replacing with libgcc does not work (probably due to wrong calling conventions)
662
663
664
665
double __aeabi_f2d(float x) {
    // TODO
    return 0.0;
}
Damien's avatar
Damien committed
666
667
668
669
670
671
672
673
674
675

float __aeabi_d2f(double x) {
    // TODO
    return 0.0;
}

double sqrt(double x) {
    // TODO
    return 0.0;
}
676
677

machine_float_t machine_sqrt(machine_float_t x) {
mux's avatar
mux committed
678
679
680
681
    asm volatile (
            "vsqrt.f32  %[r], %[x]\n"
            : [r] "=t" (x)
            : [x] "t"  (x));
682
683
    return x;
}