main.c 11.3 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"
Dave Hylands's avatar
Dave Hylands committed
24
#include "usart.h"
25
#include "led.h"
26
27
#include "exti.h"
#include "usrsw.h"
28
#include "usb.h"
29
#include "rng.h"
Damien George's avatar
Damien George committed
30
#include "rtc.h"
31
#include "storage.h"
Damien George's avatar
Damien George committed
32
#include "sdcard.h"
33
#include "ff.h"
34
#include "lcd.h"
35
#include "i2c.h"
36
#include "accel.h"
Dave Hylands's avatar
Dave Hylands committed
37
#include "servo.h"
Damien George's avatar
Damien George committed
38
#include "dac.h"
39
#include "pin.h"
Damien George's avatar
Damien George committed
40
#if 0
Dave Hylands's avatar
Dave Hylands committed
41
42
43
44
#include "timer.h"
#include "pybwlan.h"
#endif

45
46
void SystemClock_Config(void);

Dave Hylands's avatar
Dave Hylands committed
47
48
49
50
51
52
53
54
55
56
57
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);
58
        HAL_Delay(250);
Dave Hylands's avatar
Dave Hylands committed
59
60
        led_state(PYB_LED_R1, 0);
        led_state(PYB_LED_R2, 1);
61
        HAL_Delay(250);
Dave Hylands's avatar
Dave Hylands committed
62
63
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
    }
    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);
102
103
104
    for (;;) {
        flash_error(1);
    }
Dave Hylands's avatar
Dave Hylands committed
105
106
107
108
109
110
}

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"
111
"import pyb\n"
Dave Hylands's avatar
Dave Hylands committed
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
"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();

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

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

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

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

    // 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
195
196
197
198
199
200
201
202
203
    // 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
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
    // 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

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

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

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

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

Dave Hylands's avatar
Dave Hylands committed
246
247
248
249
250
251
252
253
254
255
256
257
    pin_map_init();

    // 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;
            }
258
            HAL_Delay(10);
Dave Hylands's avatar
Dave Hylands committed
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
        }
    }
#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);
274
            uint32_t start_tick = HAL_GetTick();
Dave Hylands's avatar
Dave Hylands committed
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295

            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
296
            sys_tick_wait_at_least(start_tick, 200);
Dave Hylands's avatar
Dave Hylands committed
297
298
299
300
301
302
303
304
305
            led_state(PYB_LED_R2, 0);
        } else {
            __fatal_error("could not access LFS");
        }
    }

    // make sure we have a /boot.py
    {
        FILINFO fno;
306
307
308
309
#if _USE_LFN
        fno.lfname = NULL;
        fno.lfsize = 0;
#endif
Dave Hylands's avatar
Dave Hylands committed
310
311
312
313
314
315
316
317
318
319
320
321
322
323
        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);
324
            uint32_t start_tick = HAL_GetTick();
Dave Hylands's avatar
Dave Hylands committed
325
326
327
328
329
330
331
332
333

            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
334
            sys_tick_wait_at_least(start_tick, 200);
Dave Hylands's avatar
Dave Hylands committed
335
336
337
338
339
340
341
342
343
344
            led_state(PYB_LED_R2, 0);
        }
    }

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

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

347
348
349
350
#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
351
352
353
354
355
356
357
358
359
#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
360
361
#if defined(USE_DEVICE_MODE)
                usbd_medium_kind = USBD_STORAGE_MEDIUM_SDCARD;
362
#endif
Dave Hylands's avatar
Dave Hylands committed
363
364
365
            }
        }
    }
Dave Hylands's avatar
Dave Hylands committed
366
367
368
#else
    // Get rid of compiler warning if no SDCARD is configured.
    (void)first_soft_reset;
Dave Hylands's avatar
Dave Hylands committed
369
370
#endif

371
#if defined(USE_HOST_MODE)
Dave Hylands's avatar
Dave Hylands committed
372
373
374
375
    // USB host
    pyb_usb_host_init();
#elif defined(USE_DEVICE_MODE)
    // USB device
376
    pyb_usb_dev_init(USBD_DEVICE_CDC_MSC, usbd_medium_kind);
Dave Hylands's avatar
Dave Hylands committed
377
378
#endif

379
380
    i2c_init();

381
382
383
384
385
#if MICROPY_HW_HAS_MMA7660
    // MMA accel: init and reset
    accel_init();
#endif

Dave Hylands's avatar
Dave Hylands committed
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
    // 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);
    }

407
#if 0
Dave Hylands's avatar
Dave Hylands committed
408
409
410
411
412
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
#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);
438
            HAL_Delay(15);
Dave Hylands's avatar
Dave Hylands committed
439
440
441
442
443
444
445
446
        }
    }
#endif

#if MICROPY_HW_HAS_WLAN
    // wifi
    pyb_wlan_init();
    pyb_wlan_start();
447
#endif
Dave Hylands's avatar
Dave Hylands committed
448
449
#endif

450
451
452
453
454
455
456
457
458
459
460
461
462
    // 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
463
464
465
466
467
468
469
470
471

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

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

    first_soft_reset = false;
    goto soft_reset;
}