82fe6b0526
This patch add basic building blocks for nrf9P60. It also includes a secure bootloader which forwards all possible peripherals that are user selectable to become non-secure. After configuring Flash, RAM and peripherals the secure bootloader will jump to the non-secure domain where MicroPython is placed. The minimum size of a secure boot has to be a flash block of 32Kb, hence why the linker scripts are offsetting the main application this much. The RAM offset is set to 128K, to allow for later integration of Nordic Semiconductor's BSD socket library which reserves the range 0x20010000 - 0x2001FFFF.
336 lines
8.2 KiB
C
336 lines
8.2 KiB
C
/*
|
|
* This file is part of the MicroPython project, http://micropython.org/
|
|
*
|
|
* The MIT License (MIT)
|
|
*
|
|
* Copyright (c) 2013, 2014 Damien P. George
|
|
* Copyright (c) 2015 Glenn Ruben Bakke
|
|
*
|
|
* Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
* of this software and associated documentation files (the "Software"), to deal
|
|
* in the Software without restriction, including without limitation the rights
|
|
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
* copies of the Software, and to permit persons to whom the Software is
|
|
* furnished to do so, subject to the following conditions:
|
|
*
|
|
* The above copyright notice and this permission notice shall be included in
|
|
* all copies or substantial portions of the Software.
|
|
*
|
|
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
|
* THE SOFTWARE.
|
|
*/
|
|
|
|
#include <stdint.h>
|
|
#include <stdio.h>
|
|
#include <string.h>
|
|
|
|
#include "py/nlr.h"
|
|
#include "py/mperrno.h"
|
|
#include "py/lexer.h"
|
|
#include "py/parse.h"
|
|
#include "py/obj.h"
|
|
#include "py/runtime.h"
|
|
#include "py/stackctrl.h"
|
|
#include "py/gc.h"
|
|
#include "py/compile.h"
|
|
#include "lib/utils/pyexec.h"
|
|
#include "readline.h"
|
|
#include "gccollect.h"
|
|
#include "modmachine.h"
|
|
#include "modmusic.h"
|
|
#include "modules/uos/microbitfs.h"
|
|
#include "led.h"
|
|
#include "uart.h"
|
|
#include "nrf.h"
|
|
#include "pin.h"
|
|
#include "spi.h"
|
|
#include "i2c.h"
|
|
#include "adc.h"
|
|
#include "rtcounter.h"
|
|
#if MICROPY_PY_MACHINE_HW_PWM
|
|
#include "pwm.h"
|
|
#endif
|
|
#include "timer.h"
|
|
|
|
#if BLUETOOTH_SD
|
|
#include "nrf_sdm.h"
|
|
#endif
|
|
|
|
#if (MICROPY_PY_BLE_NUS)
|
|
#include "ble_uart.h"
|
|
#endif
|
|
|
|
#if MICROPY_PY_MACHINE_SOFT_PWM
|
|
#include "ticker.h"
|
|
#include "softpwm.h"
|
|
#endif
|
|
|
|
#if MICROPY_HW_USB_CDC
|
|
#include "usb_cdc.h"
|
|
#endif
|
|
|
|
void do_str(const char *src, mp_parse_input_kind_t input_kind) {
|
|
mp_lexer_t *lex = mp_lexer_new_from_str_len(MP_QSTR__lt_stdin_gt_, src, strlen(src), 0);
|
|
if (lex == NULL) {
|
|
printf("MemoryError: lexer could not allocate memory\n");
|
|
return;
|
|
}
|
|
|
|
nlr_buf_t nlr;
|
|
if (nlr_push(&nlr) == 0) {
|
|
qstr source_name = lex->source_name;
|
|
mp_parse_tree_t pn = mp_parse(lex, input_kind);
|
|
mp_obj_t module_fun = mp_compile(&pn, source_name, true);
|
|
mp_call_function_0(module_fun);
|
|
nlr_pop();
|
|
} else {
|
|
// uncaught exception
|
|
mp_obj_print_exception(&mp_plat_print, (mp_obj_t)nlr.ret_val);
|
|
}
|
|
}
|
|
|
|
extern uint32_t _heap_start;
|
|
extern uint32_t _heap_end;
|
|
|
|
int main(int argc, char **argv) {
|
|
|
|
|
|
soft_reset:
|
|
|
|
led_init();
|
|
|
|
led_state(1, 1); // MICROPY_HW_LED_1 aka MICROPY_HW_LED_RED
|
|
|
|
mp_stack_set_top(&_ram_end);
|
|
|
|
// Stack limit should be less than real stack size, so we have a chance
|
|
// to recover from limit hit. (Limit is measured in bytes.)
|
|
mp_stack_set_limit((char*)&_ram_end - (char*)&_heap_end - 400);
|
|
|
|
machine_init();
|
|
|
|
gc_init(&_heap_start, &_heap_end);
|
|
|
|
mp_init();
|
|
mp_obj_list_init(mp_sys_path, 0);
|
|
mp_obj_list_append(mp_sys_path, MP_OBJ_NEW_QSTR(MP_QSTR_)); // current dir (or base dir of the script)
|
|
mp_obj_list_init(mp_sys_argv, 0);
|
|
|
|
pyb_set_repl_info(MP_OBJ_NEW_SMALL_INT(0));
|
|
|
|
readline_init0();
|
|
|
|
|
|
#if MICROPY_PY_MACHINE_HW_SPI
|
|
spi_init0();
|
|
#endif
|
|
|
|
#if MICROPY_PY_MACHINE_I2C
|
|
i2c_init0();
|
|
#endif
|
|
|
|
#if MICROPY_PY_MACHINE_ADC
|
|
adc_init0();
|
|
#endif
|
|
|
|
#if MICROPY_PY_MACHINE_HW_PWM
|
|
pwm_init0();
|
|
#endif
|
|
|
|
#if MICROPY_PY_MACHINE_RTCOUNTER
|
|
rtc_init0();
|
|
#endif
|
|
|
|
#if MICROPY_PY_MACHINE_TIMER
|
|
timer_init0();
|
|
#endif
|
|
|
|
#if MICROPY_PY_MACHINE_UART
|
|
uart_init0();
|
|
#endif
|
|
|
|
#if (MICROPY_PY_BLE_NUS == 0) && (MICROPY_HW_USB_CDC == 0)
|
|
{
|
|
mp_obj_t args[2] = {
|
|
MP_OBJ_NEW_SMALL_INT(0),
|
|
MP_OBJ_NEW_SMALL_INT(115200),
|
|
};
|
|
MP_STATE_PORT(board_stdio_uart) = machine_hard_uart_type.make_new((mp_obj_t)&machine_hard_uart_type, MP_ARRAY_SIZE(args), 0, args);
|
|
}
|
|
#endif
|
|
|
|
pin_init0();
|
|
|
|
#if MICROPY_MBFS
|
|
microbit_filesystem_init();
|
|
#endif
|
|
|
|
#if MICROPY_HW_HAS_SDCARD
|
|
// if an SD card is present then mount it on /sd/
|
|
if (sdcard_is_present()) {
|
|
// create vfs object
|
|
fs_user_mount_t *vfs = m_new_obj_maybe(fs_user_mount_t);
|
|
if (vfs == NULL) {
|
|
goto no_mem_for_sd;
|
|
}
|
|
vfs->str = "/sd";
|
|
vfs->len = 3;
|
|
vfs->flags = FSUSER_FREE_OBJ;
|
|
sdcard_init_vfs(vfs);
|
|
|
|
// put the sd device in slot 1 (it will be unused at this point)
|
|
MP_STATE_PORT(fs_user_mount)[1] = vfs;
|
|
|
|
FRESULT res = f_mount(&vfs->fatfs, vfs->str, 1);
|
|
if (res != FR_OK) {
|
|
printf("MPY: can't mount SD card\n");
|
|
MP_STATE_PORT(fs_user_mount)[1] = NULL;
|
|
m_del_obj(fs_user_mount_t, vfs);
|
|
} else {
|
|
// TODO these should go before the /flash entries in the path
|
|
mp_obj_list_append(mp_sys_path, MP_OBJ_NEW_QSTR(MP_QSTR__slash_sd));
|
|
mp_obj_list_append(mp_sys_path, MP_OBJ_NEW_QSTR(MP_QSTR__slash_sd_slash_lib));
|
|
|
|
// use SD card as current directory
|
|
f_chdrive("/sd");
|
|
}
|
|
no_mem_for_sd:;
|
|
}
|
|
#endif
|
|
|
|
// Main script is finished, so now go into REPL mode.
|
|
// The REPL mode can change, or it can request a soft reset.
|
|
int ret_code = 0;
|
|
|
|
#if MICROPY_PY_BLE_NUS
|
|
ble_uart_init0();
|
|
#endif
|
|
|
|
#if MICROPY_PY_MACHINE_SOFT_PWM
|
|
ticker_init0();
|
|
softpwm_init0();
|
|
#endif
|
|
|
|
#if MICROPY_PY_MUSIC
|
|
microbit_music_init0();
|
|
#endif
|
|
#if BOARD_SPECIFIC_MODULES
|
|
board_modules_init0();
|
|
#endif
|
|
|
|
#if MICROPY_PY_MACHINE_SOFT_PWM
|
|
ticker_start();
|
|
pwm_start();
|
|
#endif
|
|
|
|
led_state(1, 0);
|
|
|
|
#if MICROPY_VFS || MICROPY_MBFS
|
|
// run boot.py and main.py if they exist.
|
|
pyexec_file_if_exists("boot.py");
|
|
pyexec_file_if_exists("main.py");
|
|
#endif
|
|
|
|
#if MICROPY_HW_USB_CDC
|
|
usb_cdc_init();
|
|
#endif
|
|
|
|
for (;;) {
|
|
if (pyexec_mode_kind == PYEXEC_MODE_RAW_REPL) {
|
|
if (pyexec_raw_repl() != 0) {
|
|
break;
|
|
}
|
|
} else {
|
|
ret_code = pyexec_friendly_repl();
|
|
if (ret_code != 0) {
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
|
|
mp_deinit();
|
|
|
|
printf("MPY: soft reboot\n");
|
|
|
|
#if BLUETOOTH_SD
|
|
sd_softdevice_disable();
|
|
#endif
|
|
|
|
goto soft_reset;
|
|
|
|
return 0;
|
|
}
|
|
|
|
#if !MICROPY_VFS
|
|
#if MICROPY_MBFS
|
|
// Use micro:bit filesystem
|
|
mp_lexer_t *mp_lexer_new_from_file(const char *filename) {
|
|
return uos_mbfs_new_reader(filename);
|
|
}
|
|
|
|
mp_import_stat_t mp_import_stat(const char *path) {
|
|
return uos_mbfs_import_stat(path);
|
|
}
|
|
|
|
STATIC mp_obj_t mp_builtin_open(size_t n_args, const mp_obj_t *args) {
|
|
return uos_mbfs_open(n_args, args);
|
|
}
|
|
MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_builtin_open_obj, 1, 2, mp_builtin_open);
|
|
|
|
#else
|
|
// use dummy functions - no filesystem available
|
|
mp_lexer_t *mp_lexer_new_from_file(const char *filename) {
|
|
mp_raise_OSError(MP_ENOENT);
|
|
}
|
|
|
|
mp_import_stat_t mp_import_stat(const char *path) {
|
|
return MP_IMPORT_STAT_NO_EXIST;
|
|
}
|
|
|
|
STATIC mp_obj_t mp_builtin_open(size_t n_args, const mp_obj_t *args, mp_map_t *kwargs) {
|
|
mp_raise_OSError(MP_EPERM);
|
|
}
|
|
MP_DEFINE_CONST_FUN_OBJ_KW(mp_builtin_open_obj, 1, mp_builtin_open);
|
|
#endif
|
|
#endif
|
|
|
|
|
|
void HardFault_Handler(void)
|
|
{
|
|
#if defined(NRF52_SERIES) || defined(NRF91_SERIES)
|
|
static volatile uint32_t reg;
|
|
static volatile uint32_t reg2;
|
|
static volatile uint32_t bfar;
|
|
reg = SCB->HFSR;
|
|
reg2 = SCB->CFSR;
|
|
bfar = SCB->BFAR;
|
|
for (int i = 0; i < 0; i++) {
|
|
(void)reg;
|
|
(void)reg2;
|
|
(void)bfar;
|
|
}
|
|
#endif
|
|
}
|
|
|
|
void NORETURN __fatal_error(const char *msg) {
|
|
while (1);
|
|
}
|
|
|
|
void nlr_jump_fail(void *val) {
|
|
printf("FATAL: uncaught exception %p\n", val);
|
|
mp_obj_print_exception(&mp_plat_print, (mp_obj_t)val);
|
|
__fatal_error("");
|
|
}
|
|
|
|
void MP_WEAK __assert_func(const char *file, int line, const char *func, const char *expr) {
|
|
printf("Assertion '%s' failed, at file %s:%d\n", expr, file, line);
|
|
__fatal_error("Assertion failed");
|
|
}
|
|
|
|
void _start(void) {main(0, NULL);}
|