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 "accel.h"
Dave Hylands's avatar
Dave Hylands committed
36
#include "servo.h"
Damien George's avatar
Damien George committed
37
#include "dac.h"
38
#include "pin.h"
Damien George's avatar
Damien George committed
39
#if 0
Dave Hylands's avatar
Dave Hylands committed
40
41
42
43
#include "timer.h"
#include "pybwlan.h"
#endif

44
45
void SystemClock_Config(void);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

378
379
380
381
382
#if MICROPY_HW_HAS_MMA7660
    // MMA accel: init and reset
    accel_init();
#endif

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

404
#if 0
Dave Hylands's avatar
Dave Hylands committed
405
406
407
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
#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);
435
            HAL_Delay(15);
Dave Hylands's avatar
Dave Hylands committed
436
437
438
439
440
441
442
443
        }
    }
#endif

#if MICROPY_HW_HAS_WLAN
    // wifi
    pyb_wlan_init();
    pyb_wlan_start();
444
#endif
Dave Hylands's avatar
Dave Hylands committed
445
446
#endif

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

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

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

    first_soft_reset = false;
    goto soft_reset;
}