main.c 28.3 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 <stm_misc.h>
Damien's avatar
Damien committed
14
15
#include "std.h"

16
#include "misc.h"
17
18
#include "ff.h"
#include "mpconfig.h"
19
#include "qstr.h"
20
21
22
#include "nlr.h"
#include "misc.h"
#include "lexer.h"
23
#include "lexerfatfs.h"
24
25
#include "parse.h"
#include "obj.h"
26
#include "compile.h"
27
28
29
#include "runtime0.h"
#include "runtime.h"
#include "repl.h"
Damien's avatar
Damien committed
30
#include "gc.h"
31
#include "systick.h"
32
#include "led.h"
33
#include "servo.h"
34
#include "lcd.h"
35
#include "storage.h"
36
#include "mma.h"
37
#include "usart.h"
Damien's avatar
Damien committed
38
#include "usb.h"
39
#include "timer.h"
40
#include "audio.h"
41
#include "pybwlan.h"
42
#include "i2c.h"
43
#include "usrsw.h"
mux's avatar
mux committed
44
#include "adc.h"
mux's avatar
mux committed
45
#include "rtc.h"
46
47

int errno;
Damien's avatar
Damien committed
48

Damien's avatar
Damien committed
49
50
extern uint32_t _heap_start;

51
52
static FATFS fatfs0;

53
54
55
56
57
58
59
60
61
62
63
64
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
65
void __fatal_error(const char *msg) {
mux's avatar
mux committed
66
#if MICROPY_HW_HAS_LCD
Damien's avatar
Damien committed
67
68
    lcd_print_strn("\nFATAL ERROR:\n", 14);
    lcd_print_strn(msg, strlen(msg));
mux's avatar
mux committed
69
#endif
Damien's avatar
Damien committed
70
    for (;;) {
71
        flash_error(1);
Damien's avatar
Damien committed
72
73
74
    }
}

75
76
static mp_obj_t pyb_config_source_dir = MP_OBJ_NULL;
static mp_obj_t pyb_config_main = MP_OBJ_NULL;
77

78
mp_obj_t pyb_source_dir(mp_obj_t source_dir) {
79
80
81
    if (MP_OBJ_IS_STR(source_dir)) {
        pyb_config_source_dir = source_dir;
    }
82
    return mp_const_none;
83
84
}

85
mp_obj_t pyb_main(mp_obj_t main) {
86
87
88
    if (MP_OBJ_IS_STR(main)) {
        pyb_config_main = main;
    }
89
    return mp_const_none;
90
91
92
}

// sync all file systems
93
mp_obj_t pyb_sync(void) {
94
    storage_flush();
95
    return mp_const_none;
96
}
Damien's avatar
Damien committed
97

98
99
100
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
101
102
}

103
void fatality(void) {
104
105
106
107
108
109
    led_state(PYB_LED_R1, 1);
    led_state(PYB_LED_G1, 1);
    led_state(PYB_LED_R2, 1);
    led_state(PYB_LED_G2, 1);
}

110
static const char fresh_boot_py[] =
111
112
113
114
115
116
117
118
119
120
121
"# 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"
;

122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
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"
"    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"
140
141
"    pyb.gpio(<port>)           -- get port value (port='a4' for example)\n"
"    pyb.gpio(<port>, <val>)    -- set port value, True or False, 1 or 0\n"
142
143
144
;

// get some help about available functions
145
static mp_obj_t pyb_help(void) {
146
    printf("%s", help_text);
147
    return mp_const_none;
148
149
}

150
// get lots of info about the board
151
static mp_obj_t pyb_info(void) {
152
153
154
155
156
157
    // 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]);
    }

158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
    // 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
    {
        extern void *_sidata;
        extern void *_sdata;
        extern void *_edata;
        extern void *_sbss;
        extern void *_ebss;
        extern void *_estack;
        extern void *_etext;
        printf("_sidata=%p\n", &_sidata);
        printf("_sdata=%p\n", &_sdata);
        printf("_edata=%p\n", &_edata);
        printf("_sbss=%p\n", &_sbss);
        printf("_ebss=%p\n", &_ebss);
        printf("_estack=%p\n", &_estack);
        printf("_etext=%p\n", &_etext);
        printf("_heap_start=%p\n", &_heap_start);
    }

185
186
187
188
189
190
191
192
193
194
    // 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);
    }

195
196
197
198
199
    // free space on flash
    {
        DWORD nclst;
        FATFS *fatfs;
        f_getfree("0:", &nclst, &fatfs);
200
        printf("LFS free: %u bytes\n", (uint)(nclst * fatfs->csize * 512));
201
    }
202

203
    return mp_const_none;
204
205
}

206
// SD card test
207
static mp_obj_t pyb_sd_test(void) {
208
209
    extern void sdio_init(void);
    sdio_init();
210
    return mp_const_none;
211
212
}

213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
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) {
    }
}

237
static mp_obj_t pyb_stop(void) {
238
239
240
241
242
243
244
245
246
247
248
249
    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);

250
    return mp_const_none;
251
252
}

253
static mp_obj_t pyb_standby(void) {
254
    PWR_EnterSTANDBYMode();
255
    return mp_const_none;
256
257
}

Damien's avatar
Damien committed
258
259
260
261
262
263
264
265
266
267
268
269
char *strdup(const char *str) {
    uint32_t len = strlen(str);
    char *s2 = m_new(char, len + 1);
    memcpy(s2, str, len);
    s2[len] = 0;
    return s2;
}

#define READLINE_HIST_SIZE (8)

static const char *readline_hist[READLINE_HIST_SIZE] = {NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL};

270
void stdout_tx_str(const char *str) {
271
272
273
    if (pyb_usart_global_debug != PYB_USART_NONE) {
        usart_tx_str(pyb_usart_global_debug, str);
    }
274
275
276
    usb_vcp_send_str(str);
}

277
int readline(vstr_t *line, const char *prompt) {
278
    stdout_tx_str(prompt);
279
    int len = vstr_len(line);
Damien's avatar
Damien committed
280
281
    int escape = 0;
    int hist_num = 0;
282
    for (;;) {
283
284
285
286
287
        char c;
        for (;;) {
            if (usb_vcp_rx_any() != 0) {
                c = usb_vcp_rx_get();
                break;
288
289
            } else if (pyb_usart_global_debug != PYB_USART_NONE && usart_rx_any(pyb_usart_global_debug)) {
                c = usart_rx_char(pyb_usart_global_debug);
290
                break;
291
            }
Damien's avatar
Damien committed
292
            sys_tick_delay_ms(1);
293
294
295
            if (storage_needs_flush()) {
                storage_flush();
            }
296
        }
Damien's avatar
Damien committed
297
298
299
300
        if (escape == 0) {
            if (c == 4 && vstr_len(line) == len) {
                return 0;
            } else if (c == '\r') {
301
                stdout_tx_str("\r\n");
Damien's avatar
Damien committed
302
303
304
305
306
307
308
309
310
311
                for (int i = READLINE_HIST_SIZE - 1; i > 0; i--) {
                    readline_hist[i] = readline_hist[i - 1];
                }
                readline_hist[0] = strdup(vstr_str(line));
                return 1;
            } else if (c == 27) {
                escape = true;
            } else if (c == 127) {
                if (vstr_len(line) > len) {
                    vstr_cut_tail(line, 1);
312
                    stdout_tx_str("\b \b");
Damien's avatar
Damien committed
313
314
315
                }
            } else if (32 <= c && c <= 126) {
                vstr_add_char(line, c);
316
                stdout_tx_str(line->buf + line->len - 1);
317
            }
Damien's avatar
Damien committed
318
319
320
321
322
323
324
325
326
327
328
329
330
        } else if (escape == 1) {
            if (c == '[') {
                escape = 2;
            } else {
                escape = 0;
            }
        } else if (escape == 2) {
            escape = 0;
            if (c == 'A') {
                // up arrow
                if (hist_num < READLINE_HIST_SIZE && readline_hist[hist_num] != NULL) {
                    // erase line
                    for (int i = line->len - len; i > 0; i--) {
331
                        stdout_tx_str("\b \b");
Damien's avatar
Damien committed
332
333
334
335
336
                    }
                    // set line to history
                    line->len = len;
                    vstr_add_str(line, readline_hist[hist_num]);
                    // draw line
337
                    stdout_tx_str(readline_hist[hist_num]);
Damien's avatar
Damien committed
338
339
340
341
342
343
                    // increase hist num
                    hist_num += 1;
                }
            }
        } else {
            escape = 0;
344
        }
Damien's avatar
Damien committed
345
        sys_tick_delay_ms(10);
346
    }
347
348
}

349
void do_repl(void) {
350
    stdout_tx_str("Micro Python build <git hash> on 2/1/2014; PYBv3 with STM32F405RG\r\n");
351
    stdout_tx_str("Type \"help()\" for more information.\r\n");
352
353

    vstr_t line;
354
    vstr_init(&line, 32);
355
356

    for (;;) {
357
358
359
        vstr_reset(&line);
        int ret = readline(&line, ">>> ");
        if (ret == 0) {
360
            // EOF
361
362
363
364
365
            break;
        }

        if (vstr_len(&line) == 0) {
            continue;
366
        }
367

368
        if (mp_repl_is_compound_stmt(vstr_str(&line))) {
369
            for (;;) {
370
371
372
373
374
                vstr_add_char(&line, '\n');
                int len = vstr_len(&line);
                int ret = readline(&line, "... ");
                if (ret == 0 || vstr_len(&line) == len) {
                    // done entering compound statement
375
376
377
378
379
                    break;
                }
            }
        }

380
        mp_lexer_t *lex = mp_lexer_new_from_str_len("<stdin>", vstr_str(&line), vstr_len(&line), 0);
381
382
383
        qstr parse_exc_id;
        const char *parse_exc_msg;
        mp_parse_node_t pn = mp_parse(lex, MP_PARSE_SINGLE_INPUT, &parse_exc_id, &parse_exc_msg);
384
        qstr source_name = mp_lexer_source_name(lex);
385
386
387
388
389
390
391
392
393

        if (pn == MP_PARSE_NODE_NULL) {
            // parse error
            mp_lexer_show_error_pythonic_prefix(lex);
            printf("%s: %s\n", qstr_str(parse_exc_id), parse_exc_msg);
            mp_lexer_free(lex);
        } else {
            // parse okay
            mp_lexer_free(lex);
394
            mp_obj_t module_fun = mp_compile(pn, source_name, true);
395
396
397
398
399
400
401
402
403
404
            if (module_fun != mp_const_none) {
                nlr_buf_t nlr;
                uint32_t start = sys_tick_counter;
                if (nlr_push(&nlr) == 0) {
                    rt_call_function_0(module_fun);
                    nlr_pop();
                    // optional timing
                    if (0) {
                        uint32_t ticks = sys_tick_counter - start; // TODO implement a function that does this properly
                        printf("(took %lu ms)\n", ticks);
405
                    }
406
407
                } else {
                    // uncaught exception
408
                    mp_obj_print_exception((mp_obj_t)nlr.ret_val);
409
410
411
412
                }
            }
        }
    }
413

414
    stdout_tx_str("\r\n");
415
416
417
}

bool do_file(const char *filename) {
Damien George's avatar
Damien George committed
418
    mp_lexer_t *lex = mp_lexer_new_from_file(filename);
419
420
421
422
423
424

    if (lex == NULL) {
        printf("could not open file '%s' for reading\n", filename);
        return false;
    }

425
426
427
    qstr parse_exc_id;
    const char *parse_exc_msg;
    mp_parse_node_t pn = mp_parse(lex, MP_PARSE_FILE_INPUT, &parse_exc_id, &parse_exc_msg);
428
    qstr source_name = mp_lexer_source_name(lex);
429

430
    if (pn == MP_PARSE_NODE_NULL) {
431
432
433
434
        // parse error
        mp_lexer_show_error_pythonic_prefix(lex);
        printf("%s: %s\n", qstr_str(parse_exc_id), parse_exc_msg);
        mp_lexer_free(lex);
435
436
437
        return false;
    }

438
439
    mp_lexer_free(lex);

440
    mp_obj_t module_fun = mp_compile(pn, source_name, false);
441
    if (module_fun == mp_const_none) {
442
443
444
445
446
447
448
449
450
451
        return false;
    }

    nlr_buf_t nlr;
    if (nlr_push(&nlr) == 0) {
        rt_call_function_0(module_fun);
        nlr_pop();
        return true;
    } else {
        // uncaught exception
452
        mp_obj_print_exception((mp_obj_t)nlr.ret_val);
453
454
        return false;
    }
455
456
}

457
458
459
460
461
462
#define RAM_START (0x20000000) // fixed for chip
#define HEAP_END  (0x2001c000) // tunable
#define RAM_END   (0x20020000) // fixed for chip

void gc_helper_get_regs_and_clean_stack(machine_uint_t *regs, machine_uint_t heap_end);

463
void gc_collect(void) {
464
    uint32_t start = sys_tick_counter;
Damien's avatar
Damien committed
465
    gc_collect_start();
466
467
468
469
    gc_collect_root((void**)RAM_START, (((uint32_t)&_heap_start) - RAM_START) / 4);
    machine_uint_t regs[10];
    gc_helper_get_regs_and_clean_stack(regs, HEAP_END);
    gc_collect_root((void**)HEAP_END, (RAM_END - HEAP_END) / 4); // will trace regs since they now live in this function on the stack
Damien's avatar
Damien committed
470
    gc_collect_end();
471
    uint32_t ticks = sys_tick_counter - start; // TODO implement a function that does this properly
472
473
474
475
476
477
478
479
480
481

    if (0) {
        // print GC info
        gc_info_t info;
        gc_info(&info);
        printf("GC@%lu %lums\n", start, ticks);
        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);
    }
482
483
}

484
mp_obj_t pyb_gc(void) {
485
    gc_collect();
486
    return mp_const_none;
487
488
}

489
mp_obj_t pyb_gpio(uint n_args, mp_obj_t *args) {
490
    //assert(1 <= n_args && n_args <= 2);
Damien's avatar
Damien committed
491

492
    const char *pin_name = mp_obj_str_get_str(args[0]);
493
494
495
496
497
498
    GPIO_TypeDef *port;
    switch (pin_name[0]) {
        case 'A': case 'a': port = GPIOA; break;
        case 'B': case 'b': port = GPIOB; break;
        case 'C': case 'c': port = GPIOC; break;
        default: goto pin_error;
499
    }
500
501
502
503
    uint pin_num = 0;
    for (const char *s = pin_name + 1; *s; s++) {
        if (!('0' <= *s && *s <= '9')) {
            goto pin_error;
Damien's avatar
Damien committed
504
        }
505
506
507
508
        pin_num = 10 * pin_num + *s - '0';
    }
    if (!(0 <= pin_num && pin_num <= 15)) {
        goto pin_error;
Damien's avatar
Damien committed
509
    }
510

511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
    if (n_args == 1) {
        // get pin
        if ((port->IDR & (1 << pin_num)) != (uint32_t)Bit_RESET) {
            return MP_OBJ_NEW_SMALL_INT(1);
        } else {
            return MP_OBJ_NEW_SMALL_INT(0);
        }
    } else {
        // set pin
        if (rt_is_true(args[1])) {
            // set pin high
            port->BSRRL = 1 << pin_num;
        } else {
            // set pin low
            port->BSRRH = 1 << pin_num;
        }
        return mp_const_none;
    }
529

530
pin_error:
531
    nlr_jump(mp_obj_new_exception_msg_1_arg(MP_QSTR_ValueError, "pin %s does not exist", pin_name));
Damien's avatar
Damien committed
532
533
}

534
535
MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(pyb_gpio_obj, 1, 2, pyb_gpio);

536
537
mp_obj_t pyb_hid_send_report(mp_obj_t arg) {
    mp_obj_t *items = mp_obj_get_array_fixed_n(arg, 4);
538
    uint8_t data[4];
539
540
541
542
    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]);
543
    usb_hid_send_report(data);
544
    return mp_const_none;
545
546
}

547
548
549
550
551
typedef struct _pyb_file_obj_t {
    mp_obj_base_t base;
    FIL fp;
} pyb_file_obj_t;

552
void file_obj_print(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t self_in, mp_print_kind_t kind) {
553
    printf("<file %p>", self_in);
Damien's avatar
Damien committed
554
555
}

556
557
558
mp_obj_t file_obj_read(mp_obj_t self_in, mp_obj_t arg) {
    pyb_file_obj_t *self = self_in;
    int n = mp_obj_get_int(arg);
559
    byte *buf = m_new(byte, n);
Damien's avatar
Damien committed
560
    UINT n_out;
561
    f_read(&self->fp, buf, n, &n_out);
562
    return mp_obj_new_str(buf, n_out, false);
Damien's avatar
Damien committed
563
564
}

565
566
mp_obj_t file_obj_write(mp_obj_t self_in, mp_obj_t arg) {
    pyb_file_obj_t *self = self_in;
567
568
    uint l;
    const byte *s = mp_obj_str_get_data(arg, &l);
Damien's avatar
Damien committed
569
    UINT n_out;
570
    FRESULT res = f_write(&self->fp, s, l, &n_out);
Damien's avatar
Damien committed
571
572
    if (res != FR_OK) {
        printf("File error: could not write to file; error code %d\n", res);
573
574
    } else if (n_out != l) {
        printf("File error: could not write all data to file; wrote %d / %d bytes\n", n_out, l);
Damien's avatar
Damien committed
575
    }
576
    return mp_const_none;
Damien's avatar
Damien committed
577
578
}

579
580
581
582
mp_obj_t file_obj_close(mp_obj_t self_in) {
    pyb_file_obj_t *self = self_in;
    f_close(&self->fp);
    return mp_const_none;
Damien's avatar
Damien committed
583
584
}

585
586
587
588
static MP_DEFINE_CONST_FUN_OBJ_2(file_obj_read_obj, file_obj_read);
static MP_DEFINE_CONST_FUN_OBJ_2(file_obj_write_obj, file_obj_write);
static MP_DEFINE_CONST_FUN_OBJ_1(file_obj_close_obj, file_obj_close);

Damien's avatar
Damien committed
589
// TODO gc hook to close the file if not already closed
590

591
592
593
594
595
596
597
static const mp_method_t file_methods[] = {
    { "read", &file_obj_read_obj },
    { "write", &file_obj_write_obj },
    { "close", &file_obj_close_obj },
    {NULL, NULL},
};

598
599
static const mp_obj_type_t file_obj_type = {
    { &mp_const_type },
Damien's avatar
Damien committed
600
    "File",
601
602
    .print = file_obj_print,
    .methods = file_methods,
Damien's avatar
Damien committed
603
604
};

605
mp_obj_t pyb_io_open(mp_obj_t o_filename, mp_obj_t o_mode) {
606
607
    const char *filename = mp_obj_str_get_str(o_filename);
    const char *mode = mp_obj_str_get_str(o_mode);
608
609
    pyb_file_obj_t *self = m_new_obj(pyb_file_obj_t);
    self->base.type = &file_obj_type;
Damien's avatar
Damien committed
610
611
    if (mode[0] == 'r') {
        // open for reading
612
        FRESULT res = f_open(&self->fp, filename, FA_READ);
Damien's avatar
Damien committed
613
614
        if (res != FR_OK) {
            printf("FileNotFoundError: [Errno 2] No such file or directory: '%s'\n", filename);
615
            return mp_const_none;
Damien's avatar
Damien committed
616
617
618
        }
    } else if (mode[0] == 'w') {
        // open for writing, truncate the file first
619
        FRESULT res = f_open(&self->fp, filename, FA_WRITE | FA_CREATE_ALWAYS);
Damien's avatar
Damien committed
620
621
        if (res != FR_OK) {
            printf("?FileError: could not create file: '%s'\n", filename);
622
            return mp_const_none;
Damien's avatar
Damien committed
623
624
625
        }
    } else {
        printf("ValueError: invalid mode: '%s'\n", mode);
626
        return mp_const_none;
Damien's avatar
Damien committed
627
    }
628
    return self;
Damien's avatar
Damien committed
629
630
}

631
632
mp_obj_t pyb_rng_get(void) {
    return mp_obj_new_int(RNG_GetRandomNumber() >> 16);
633
634
}

635
int main(void) {
636
    // TODO disable JTAG
Damien's avatar
Damien committed
637

638
639
640
    // update the SystemCoreClock variable
    SystemCoreClockUpdate();

641
642
643
644
    // 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
645
646
647
648
649
    RCC->AHB1ENR |= RCC_AHB1ENR_CCMDATARAMEN | RCC_AHB1ENR_GPIOAEN | RCC_AHB1ENR_GPIOBEN | RCC_AHB1ENR_GPIOCEN
#if defined(STM32F4DISC)
        | RCC_AHB1ENR_GPIODEN
#endif
        ;
650

mux's avatar
mux committed
651
#if MICROPY_HW_HAS_SDCARD
652
    {
653
654
655
656
657
658
659
660
661
662
663
664
665
        // 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);
666
    }
mux's avatar
mux committed
667
#endif
668

669
670
    // basic sub-system init
    sys_tick_init();
Damien's avatar
Damien committed
671
    led_init();
mux's avatar
mux committed
672
673

#if MICROPY_HW_ENABLE_RTC
674
    rtc_init();
mux's avatar
mux committed
675
#endif
676
677
678
679
680

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

    // more sub-system init
mux's avatar
mux committed
681
#if MICROPY_HW_HAS_SWITCH
682
    switch_init();
mux's avatar
mux committed
683
#endif
684
    storage_init();
685

686
    // uncomment these 2 lines if you want REPL on USART_6 (or another usart) as well as on USB VCP
687
    //pyb_usart_global_debug = PYB_USART_3;
688
    //usart_init(pyb_usart_global_debug, 115200);
Damien's avatar
Damien committed
689

690
691
    int first_soft_reset = true;

692
693
soft_reset:

Damien's avatar
Damien committed
694
    // GC init
695
    gc_init(&_heap_start, (void*)HEAP_END);
Damien's avatar
Damien committed
696

697
    // Micro Python init
698
699
    qstr_init();
    rt_init();
700

mux's avatar
mux committed
701
#if MICROPY_HW_HAS_LCD
702
703
    // LCD init (create in with LCD())
    lcd_init();
mux's avatar
mux committed
704
#endif
705

mux's avatar
mux committed
706
#if MICROPY_HW_ENABLE_SERVO
707
708
    // servo
    servo_init();
mux's avatar
mux committed
709
#endif
710

mux's avatar
mux committed
711
#if MICROPY_HW_ENABLE_AUDIO
712
    // audio
mux's avatar
mux committed
713
714
    audio_init();
#endif
715

mux's avatar
mux committed
716
#if MICROPY_HW_ENABLE_TIMER
717
718
    // timer
    timer_init();
mux's avatar
mux committed
719
#endif
720

mux's avatar
mux committed
721
#if MICROPY_HW_ENABLE_RNG
722
    // RNG
mux's avatar
mux committed
723
724
725
    RCC_AHB2PeriphClockCmd(RCC_AHB2Periph_RNG, ENABLE);
    RNG_Cmd(ENABLE);
#endif
726

727
    // add some functions to the python namespace
728
    {
729
730
731
732
        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));
mux's avatar
mux committed
733
#if MICROPY_HW_HAS_SDCARD
734
        rt_store_attr(m, MP_QSTR_sd_test, rt_make_function_n(0, pyb_sd_test));
mux's avatar
mux committed
735
#endif
736
737
738
739
740
741
742
        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_gc, rt_make_function_n(0, pyb_gc));
        rt_store_attr(m, MP_QSTR_delay, rt_make_function_n(1, pyb_delay));
mux's avatar
mux committed
743
#if MICROPY_HW_HAS_SWITCH
744
        rt_store_attr(m, MP_QSTR_switch, (mp_obj_t)&pyb_switch_obj);
mux's avatar
mux committed
745
746
#endif
#if MICROPY_HW_ENABLE_SERVO
747
        rt_store_attr(m, MP_QSTR_servo, rt_make_function_n(2, pyb_servo_set));
mux's avatar
mux committed
748
#endif
749
        rt_store_attr(m, MP_QSTR_pwm, rt_make_function_n(2, pyb_pwm_set));
mux's avatar
mux committed
750
#if MICROPY_HW_HAS_MMA7660
751
752
753
        rt_store_attr(m, MP_QSTR_accel, (mp_obj_t)&pyb_mma_read_obj);
        rt_store_attr(m, MP_QSTR_mma_read, (mp_obj_t)&pyb_mma_read_all_obj);
        rt_store_attr(m, MP_QSTR_mma_mode, (mp_obj_t)&pyb_mma_write_mode_obj);
754
#endif
755
        rt_store_attr(m, MP_QSTR_hid, rt_make_function_n(1, pyb_hid_send_report));
mux's avatar
mux committed
756
#if MICROPY_HW_HAS_RTC
757
        rt_store_attr(m, MP_QSTR_time, rt_make_function_n(0, pyb_rtc_read));
mux's avatar
mux committed
758
759
#endif
#if MICROPY_HW_ENABLE_RNG
760
        rt_store_attr(m, MP_QSTR_rand, rt_make_function_n(0, pyb_rng_get));
mux's avatar
mux committed
761
#endif
762
        rt_store_attr(m, MP_QSTR_Led, (mp_obj_t)&pyb_Led_obj);
mux's avatar
mux committed
763
#if MICROPY_HW_ENABLE_SERVO
764
        rt_store_attr(m, MP_QSTR_Servo, rt_make_function_n(1, pyb_Servo));
mux's avatar
mux committed
765
#endif
766
767
768
769
770
771
772
        rt_store_attr(m, MP_QSTR_I2C, rt_make_function_n(2, pyb_I2C));
        rt_store_attr(m, MP_QSTR_gpio, (mp_obj_t)&pyb_gpio_obj);
        rt_store_attr(m, MP_QSTR_Usart, rt_make_function_n(2, pyb_Usart));
        rt_store_attr(m, MP_QSTR_ADC, rt_make_function_n(1, pyb_ADC));
        rt_store_name(MP_QSTR_pyb, m);

        rt_store_name(MP_QSTR_open, rt_make_function_n(2, pyb_io_open));
773
    }
774

mux's avatar
mux committed
775
#if MICROPY_HW_HAS_LCD
776
777
    // print a message to the LCD
    lcd_print_str(" micro py board\n");
mux's avatar
mux committed
778
#endif
Damien's avatar
Damien committed
779

780
781
    // check if user switch held (initiates reset of filesystem)
    bool reset_filesystem = false;
mux's avatar
mux committed
782
#if MICROPY_HW_HAS_SWITCH
783
    if (switch_get()) {
784
785
        reset_filesystem = true;
        for (int i = 0; i < 50; i++) {
786
            if (!switch_get()) {
787
788
789
790
791
792
                reset_filesystem = false;
                break;
            }
            sys_tick_delay_ms(10);
        }
    }
mux's avatar
mux committed
793
#endif
794
795
796
797
    // local filesystem init
    {
        // try to mount the flash
        FRESULT res = f_mount(&fatfs0, "0:", 1);
798
        if (!reset_filesystem && res == FR_OK) {
799
            // mount sucessful
800
        } else if (reset_filesystem || res == FR_NO_FILESYSTEM) {
801
            // no filesystem, so create a fresh one
802
            // TODO doesn't seem to work correctly when reset_filesystem is true...
803
804
805
806
807
808
809
810
811
812
813
814

            // 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");
            }

815
816
817
818
819
820
821
822
823
824
825
826
            // 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);

827
828
            // keep LED on for at least 200ms
            sys_tick_wait_at_least(stc, 200);
829
830
831
832
            led_state(PYB_LED_R2, 0);
        } else {
            __fatal_error("could not access LFS");
        }
Damien's avatar
Damien committed
833
834
    }

835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
    // 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;
857
            f_write(&fp, fresh_boot_py, sizeof(fresh_boot_py) - 1 /* don't count null terminator */, &n);
858
859
860
            // TODO check we could write n bytes
            f_close(&fp);

861
862
            // keep LED on for at least 200ms
            sys_tick_wait_at_least(stc, 200);
863
864
865
866
            led_state(PYB_LED_R2, 0);
        }
    }

867
868
869
870
871
    // run /boot.py
    if (!do_file("0:/boot.py")) {
        flash_error(4);
    }

872
873
874
    // USB
    usb_init();

875
876
    // USB host; not working!
    //pyb_usbh_init();
877
878
    //rt_store_name(qstr_from_str("u_p"), rt_make_function_n(0, pyb_usbh_process));
    //rt_store_name(qstr_from_str("u_c"), rt_make_function_n(0, pyb_usbh_connect));
879
    //rt_store_name(qstr_from_str("u_i"), rt_make_function_n(0, pyb_usbh_info));
880

881
    if (first_soft_reset) {
mux's avatar
mux committed
882
#if MICROPY_HW_HAS_MMA7660
883
        // MMA: init and reset address to zero
Damien's avatar
Damien committed
884
        mma_init();
885
#endif
Damien's avatar
Damien committed
886
887
    }

888
889
    // turn boot-up LED off
    led_state(PYB_LED_G1, 0);
890

891
892
893
894
    // run main script
    {
        vstr_t *vstr = vstr_new();
        vstr_add_str(vstr, "0:/");
895
        if (pyb_config_source_dir == MP_OBJ_NULL) {
896
897
            vstr_add_str(vstr, "src");
        } else {
898
            vstr_add_str(vstr, mp_obj_str_get_str(pyb_config_source_dir));
899
900
        }
        vstr_add_char(vstr, '/');
901
        if (pyb_config_main == MP_OBJ_NULL) {
902
903
            vstr_add_str(vstr, "main.py");
        } else {
904
            vstr_add_str(vstr, mp_obj_str_get_str(pyb_config_main));
905
906
907
        }
        if (!do_file(vstr_str(vstr))) {
            flash_error(3);
908
        }
909
        vstr_free(vstr);
910
911
    }

Damien's avatar
Damien committed
912

mux's avatar
mux committed
913
#if MICROPY_HW_HAS_MMA7660
914
915
916
917
918
919
920
921
    // 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
922
        #if MICROPY_HW_HAS_SWITCH
923
            if (switch_get()) {
924
925
926
927
                data[0] = 0x01; // 0x04 is middle, 0x02 is right
            } else {
                data[0] = 0x00;
            }
mux's avatar
mux committed
928
929
930
        #else
            data[0] = 0x00;
        #endif
931
            mma_start(0x4c /* MMA_ADDR */, 1);
932
            mma_send_byte(0);
933
            mma_restart(0x4c /* MMA_ADDR */, 0);
934
935
936
937
938
939
940
941
942
943
944
945
            for (int i = 0; i <= 1; i++) {
                int v = mma_read_ack() & 0x3f;
                if (v & 0x20) {
                    v |= ~0x1f;
                }
                data[1 + i] = v;
            }
            mma_read_nack();
            usb_hid_send_report(data);
            sys_tick_delay_ms(15);
        }
    }
946
#endif
947

mux's avatar
mux committed
948
#if MICROPY_HW_HAS_WLAN
949
    // wifi
mux's avatar
mux committed
950
951
952
    pyb_wlan_init();
    pyb_wlan_start();
#endif
953

954
955
    do_repl();

956
957
958
959
    printf("PYB: sync filesystems\n");
    pyb_sync();

    printf("PYB: soft reboot\n");
960
961

    first_soft_reset = false;
962
    goto soft_reset;
Damien's avatar
Damien committed
963
}
964

965
966
// these 2 functions seem to actually work... no idea why
// replacing with libgcc does not work (probably due to wrong calling conventions)
967
968
969
970
double __aeabi_f2d(float x) {
    // TODO
    return 0.0;
}
Damien's avatar
Damien committed
971
972
973
974
975
976
977
978
979
980

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

double sqrt(double x) {
    // TODO
    return 0.0;
}
981
982
983
984
985

machine_float_t machine_sqrt(machine_float_t x) {
    // TODO
    return x;
}