main.c 11.6 KB
Newer Older
Dave Hylands's avatar
Dave Hylands committed
1
2
3
4
#include <stdio.h>
#include <string.h>

#include <stm32f4xx_hal.h>
5
#include <stm32f4xx_hal_gpio.h>
Dave Hylands's avatar
Dave Hylands committed
6
7
8
#include "std.h"

#include "misc.h"
9
#include "systick.h"
10
#include "pendsv.h"
Dave Hylands's avatar
Dave Hylands committed
11
12
13
14
15
16
17
18
19
20
21
22
23
#include "mpconfig.h"
#include "qstr.h"
#include "misc.h"
#include "lexer.h"
#include "parse.h"
#include "obj.h"
#include "parsehelper.h"
#include "compile.h"
#include "runtime0.h"
#include "runtime.h"
#include "gc.h"
#include "gccollect.h"
#include "pyexec.h"
24
#include "pybmodule.h"
25
#include "osmodule.h"
26
#include "timemodule.h"
Dave Hylands's avatar
Dave Hylands committed
27
#include "usart.h"
28
#include "led.h"
29
30
#include "exti.h"
#include "usrsw.h"
31
#include "usb.h"
32
#include "rng.h"
Damien George's avatar
Damien George committed
33
#include "rtc.h"
34
#include "storage.h"
Damien George's avatar
Damien George committed
35
#include "sdcard.h"
36
#include "ff.h"
37
#include "lcd.h"
38
#include "accel.h"
Dave Hylands's avatar
Dave Hylands committed
39
#include "servo.h"
Damien George's avatar
Damien George committed
40
#include "dac.h"
41
#include "pin.h"
Damien George's avatar
Damien George committed
42
#if 0
Dave Hylands's avatar
Dave Hylands committed
43
44
45
46
#include "timer.h"
#include "pybwlan.h"
#endif

47
48
void SystemClock_Config(void);

Dave Hylands's avatar
Dave Hylands committed
49
50
51
52
53
54
55
56
57
58
59
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);
60
        HAL_Delay(250);
Dave Hylands's avatar
Dave Hylands committed
61
62
        led_state(PYB_LED_R1, 0);
        led_state(PYB_LED_R2, 1);
63
        HAL_Delay(250);
Dave Hylands's avatar
Dave Hylands committed
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
    }
    led_state(PYB_LED_R2, 0);
}

void __fatal_error(const char *msg) {
#if MICROPY_HW_HAS_LCD
    lcd_print_strn("\nFATAL ERROR:\n", 14);
    lcd_print_strn(msg, strlen(msg));
#endif
    for (;;) {
        flash_error(1);
    }
}

STATIC mp_obj_t pyb_config_source_dir = MP_OBJ_NULL;
STATIC mp_obj_t pyb_config_main = MP_OBJ_NULL;

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);

void fatality(void) {
    led_state(PYB_LED_R1, 1);
    led_state(PYB_LED_G1, 1);
    led_state(PYB_LED_R2, 1);
    led_state(PYB_LED_G2, 1);
104
105
106
    for (;;) {
        flash_error(1);
    }
Dave Hylands's avatar
Dave Hylands committed
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
}

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"
"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"
;

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

int main(void) {
    // TODO disable JTAG

    /* 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();

136
137
138
139
140
141
142
143
144
145
146
147
    // 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
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
#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);
    }
169
#endif
Dave Hylands's avatar
Dave Hylands committed
170
171
172
173
174
175
#endif

    // basic sub-system init
    pendsv_init();
    led_init();

176
177
178
    // turn on LED to indicate bootup
    led_state(PYB_LED_GREEN, 1);

Dave Hylands's avatar
Dave Hylands committed
179
180
#if MICROPY_HW_ENABLE_RTC
    rtc_init();
181
#endif
Dave Hylands's avatar
Dave Hylands committed
182
183
184
185
186
187
188
189
190
191
192
193
194
195

    // more sub-system init
#if MICROPY_HW_HAS_SDCARD
    sdcard_init();
#endif
    storage_init();

    int first_soft_reset = true;

soft_reset:

    // GC init
    gc_init(&_heap_start, &_heap_end);

Dave Hylands's avatar
Dave Hylands committed
196
197
198
199
200
201
202
203
204
    // Change #if 0 to #if 1 if you want REPL on USART_6 (or another usart)
    // as well as on USB VCP
#if 0
    pyb_usart_global_debug = pyb_Usart(MP_OBJ_NEW_SMALL_INT(PYB_USART_YA),
                                       MP_OBJ_NEW_SMALL_INT(115200));
#else
    pyb_usart_global_debug = NULL;
#endif

Dave Hylands's avatar
Dave Hylands committed
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
    // Micro Python init
    qstr_init();
    rt_init();
    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);

    exti_init();

#if MICROPY_HW_HAS_SWITCH
    switch_init();
#endif

#if MICROPY_HW_HAS_LCD
    // LCD init (just creates class, init hardware by calling LCD())
    lcd_init();
#endif

225
226
227
228
229
#if MICROPY_HW_ENABLE_RNG
    // RNG
    rng_init();
#endif

Dave Hylands's avatar
Dave Hylands committed
230
231
232
233
234
#if MICROPY_HW_ENABLE_SERVO
    // servo
    servo_init();
#endif

Damien George's avatar
Damien George committed
235
#if 0
Dave Hylands's avatar
Dave Hylands committed
236
237
238
239
240
241
#if MICROPY_HW_ENABLE_TIMER
    // timer
    timer_init();
#endif
#endif

Damien George's avatar
Damien George committed
242
243
244
245
246
#if MICROPY_HW_ENABLE_DAC
    // DAC
    dac_init();
#endif

Dave Hylands's avatar
Dave Hylands committed
247
248
249
250
251
252
    pin_map_init();

    // we pre-import the pyb module
    // probably shouldn't do this, so we are compatible with CPython
    rt_store_name(MP_QSTR_pyb, (mp_obj_t)&pyb_module);

253
    // pre-import the os and time modules
254
255
    // TODO don't do this! (need a way of registering builtin modules...)
    rt_store_name(MP_QSTR_os, (mp_obj_t)&os_module);
256
    rt_store_name(MP_QSTR_time, (mp_obj_t)&time_module);
257

Dave Hylands's avatar
Dave Hylands committed
258
259
260
261
262
263
264
265
266
267
    // check if user switch held (initiates reset of filesystem)
    bool reset_filesystem = false;
#if MICROPY_HW_HAS_SWITCH
    if (switch_get()) {
        reset_filesystem = true;
        for (int i = 0; i < 50; i++) {
            if (!switch_get()) {
                reset_filesystem = false;
                break;
            }
268
            HAL_Delay(10);
Dave Hylands's avatar
Dave Hylands committed
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
        }
    }
#endif
    // local filesystem init
    {
        // try to mount the flash
        FRESULT res = f_mount(&fatfs0, "0:", 1);
        if (!reset_filesystem && res == FR_OK) {
            // mount sucessful
        } else if (reset_filesystem || res == FR_NO_FILESYSTEM) {
            // no filesystem, so create a fresh one
            // TODO doesn't seem to work correctly when reset_filesystem is true...

            // LED on to indicate creation of LFS
            led_state(PYB_LED_R2, 1);
284
            uint32_t start_tick = HAL_GetTick();
Dave Hylands's avatar
Dave Hylands committed
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305

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

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

            // keep LED on for at least 200ms
306
            sys_tick_wait_at_least(start_tick, 200);
Dave Hylands's avatar
Dave Hylands committed
307
308
309
310
311
312
313
314
315
            led_state(PYB_LED_R2, 0);
        } else {
            __fatal_error("could not access LFS");
        }
    }

    // make sure we have a /boot.py
    {
        FILINFO fno;
316
317
318
319
#if _USE_LFN
        fno.lfname = NULL;
        fno.lfsize = 0;
#endif
Dave Hylands's avatar
Dave Hylands committed
320
321
322
323
324
325
326
327
328
329
330
331
332
333
        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);
334
            uint32_t start_tick = HAL_GetTick();
Dave Hylands's avatar
Dave Hylands committed
335
336
337
338
339
340
341
342
343

            FIL fp;
            f_open(&fp, "0:/boot.py", FA_WRITE | FA_CREATE_ALWAYS);
            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
344
            sys_tick_wait_at_least(start_tick, 200);
Dave Hylands's avatar
Dave Hylands committed
345
346
347
348
349
350
351
352
353
354
            led_state(PYB_LED_R2, 0);
        }
    }

    // run /boot.py
    if (!pyexec_file("0:/boot.py")) {
        flash_error(4);
    }

    // turn boot-up LED off
355
    led_state(PYB_LED_GREEN, 0);
Dave Hylands's avatar
Dave Hylands committed
356

357
358
359
360
#if defined(USE_DEVICE_MODE)
    usbd_storage_medium_kind_t usbd_medium_kind = USBD_STORAGE_MEDIUM_FLASH;
#endif

Dave Hylands's avatar
Dave Hylands committed
361
362
363
364
365
366
367
368
369
#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");
        } else {
            if (first_soft_reset) {
                // use SD card as medium for the USB MSD
370
371
#if defined(USE_DEVICE_MODE)
                usbd_medium_kind = USBD_STORAGE_MEDIUM_SDCARD;
372
#endif
Dave Hylands's avatar
Dave Hylands committed
373
374
375
376
377
            }
        }
    }
#endif

378
#if defined(USE_HOST_MODE)
Dave Hylands's avatar
Dave Hylands committed
379
380
381
382
    // USB host
    pyb_usb_host_init();
#elif defined(USE_DEVICE_MODE)
    // USB device
383
    pyb_usb_dev_init(USBD_DEVICE_CDC_MSC, usbd_medium_kind);
Dave Hylands's avatar
Dave Hylands committed
384
385
#endif

386
387
388
389
390
#if MICROPY_HW_HAS_MMA7660
    // MMA accel: init and reset
    accel_init();
#endif

Dave Hylands's avatar
Dave Hylands committed
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
    // run main script
    {
        vstr_t *vstr = vstr_new();
        vstr_add_str(vstr, "0:/");
        if (pyb_config_source_dir == MP_OBJ_NULL) {
            vstr_add_str(vstr, "src");
        } else {
            vstr_add_str(vstr, mp_obj_str_get_str(pyb_config_source_dir));
        }
        vstr_add_char(vstr, '/');
        if (pyb_config_main == MP_OBJ_NULL) {
            vstr_add_str(vstr, "main.py");
        } else {
            vstr_add_str(vstr, mp_obj_str_get_str(pyb_config_main));
        }
        if (!pyexec_file(vstr_str(vstr))) {
            flash_error(3);
        }
        vstr_free(vstr);
    }

412
#if 0
Dave Hylands's avatar
Dave Hylands committed
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
#if MICROPY_HW_HAS_MMA7660
    // HID example
    if (0) {
        uint8_t data[4];
        data[0] = 0;
        data[1] = 1;
        data[2] = -2;
        data[3] = 0;
        for (;;) {
        #if MICROPY_HW_HAS_SWITCH
            if (switch_get()) {
                data[0] = 0x01; // 0x04 is middle, 0x02 is right
            } else {
                data[0] = 0x00;
            }
        #else
            data[0] = 0x00;
        #endif
            accel_start(0x4c /* ACCEL_ADDR */, 1);
            accel_send_byte(0);
            accel_restart(0x4c /* ACCEL_ADDR */, 0);
            for (int i = 0; i <= 1; i++) {
                int v = accel_read_ack() & 0x3f;
                if (v & 0x20) {
                    v |= ~0x1f;
                }
                data[1 + i] = v;
            }
            accel_read_nack();
            usb_hid_send_report(data);
443
            HAL_Delay(15);
Dave Hylands's avatar
Dave Hylands committed
444
445
446
447
448
449
450
451
        }
    }
#endif

#if MICROPY_HW_HAS_WLAN
    // wifi
    pyb_wlan_init();
    pyb_wlan_start();
452
#endif
Dave Hylands's avatar
Dave Hylands committed
453
454
#endif

455
456
457
458
459
460
461
462
463
464
465
466
467
    // 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
468
469
470
471
472
473
474
475
476

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

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

    first_soft_reset = false;
    goto soft_reset;
}