blob: 0224bed488ce6722afac74003edc18f7939fb750 [file] [log] [blame]
Damien George075d5972014-11-27 20:30:33 +00001/*
2 * This file is part of the Micro Python project, http://micropython.org/
3 *
4 * The MIT License (MIT)
5 *
6 * Copyright (c) 2014 Damien P. George
7 *
8 * Permission is hereby granted, free of charge, to any person obtaining a copy
9 * of this software and associated documentation files (the "Software"), to deal
10 * in the Software without restriction, including without limitation the rights
11 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
12 * copies of the Software, and to permit persons to whom the Software is
13 * furnished to do so, subject to the following conditions:
14 *
15 * The above copyright notice and this permission notice shall be included in
16 * all copies or substantial portions of the Software.
17 *
18 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
19 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
20 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
21 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
22 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
23 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
24 * THE SOFTWARE.
25 */
26
27#include <stdio.h>
28#include <string.h>
29
Damien Georgefe7d5422015-01-01 21:16:58 +000030#include "py/nlr.h"
Damien Georgefe7d5422015-01-01 21:16:58 +000031#include "py/compile.h"
32#include "py/runtime0.h"
33#include "py/runtime.h"
Damien Georgeb4b10fd2015-01-01 23:30:53 +000034#include "py/stackctrl.h"
Damien George731f3592015-10-30 23:03:58 +000035#include "py/mphal.h"
Damien Georgefe7d5422015-01-01 21:16:58 +000036#include "py/gc.h"
Robert HHeb7637b2016-06-26 09:01:18 +020037#include "lib/mp-readline/readline.h"
Damien George40274fe2015-11-09 13:13:09 +000038#include "lib/utils/pyexec.h"
Damien George075d5972014-11-27 20:30:33 +000039#include "gccollect.h"
Josef Gajdusek967f3232015-05-17 11:22:26 +020040#include "user_interface.h"
Damien George075d5972014-11-27 20:30:33 +000041
Paul Sokolovskyde5e0ed2016-05-09 19:02:40 +030042STATIC char heap[28 * 1024];
Paul Sokolovskyc6b87502015-01-15 00:21:57 +020043
Damien Georgec98c1282015-05-06 00:02:58 +010044STATIC void mp_reset(void) {
Paul Sokolovskydb984b72016-02-13 15:44:53 +020045 mp_stack_set_top((void*)0x40000000);
46 mp_stack_set_limit(8192);
Damien George075d5972014-11-27 20:30:33 +000047 mp_hal_init();
Paul Sokolovskyc6b87502015-01-15 00:21:57 +020048 gc_init(heap, heap + sizeof(heap));
Damien George075d5972014-11-27 20:30:33 +000049 mp_init();
50 mp_obj_list_init(mp_sys_path, 0);
Paul Sokolovskyfb5017f2016-05-03 18:21:50 +030051 mp_obj_list_append(mp_sys_path, MP_OBJ_NEW_QSTR(MP_QSTR_)); // current dir (or base dir of the script)
52 mp_obj_list_append(mp_sys_path, MP_OBJ_NEW_QSTR(MP_QSTR__slash_));
53 mp_obj_list_append(mp_sys_path, MP_OBJ_NEW_QSTR(MP_QSTR__slash_lib));
Damien George075d5972014-11-27 20:30:33 +000054 mp_obj_list_init(mp_sys_argv, 0);
Paul Sokolovskyb4070ee2016-03-28 21:35:41 +030055 #if MICROPY_VFS_FAT
Damien George71d40f12016-03-28 13:28:41 +030056 memset(MP_STATE_PORT(fs_user_mount), 0, sizeof(MP_STATE_PORT(fs_user_mount)));
Paul Sokolovskyb4070ee2016-03-28 21:35:41 +030057 #endif
Paul Sokolovskyd3a4d392015-12-20 13:58:58 +020058 MP_STATE_PORT(mp_kbd_exception) = mp_obj_new_exception(&mp_type_KeyboardInterrupt);
Damien George4b597a12016-03-31 19:55:42 +030059 MP_STATE_PORT(term_obj) = MP_OBJ_NULL;
Damien George674bf1b2016-04-14 11:15:43 +010060 pin_init0();
Robert HHeb7637b2016-06-26 09:01:18 +020061 readline_init0();
Josef Gajdusekbda70412015-05-06 00:19:26 +020062#if MICROPY_MODULE_FROZEN
Paul Sokolovskycb7693b2016-05-22 04:08:22 +030063 pyexec_frozen_module("_boot.py");
Damien George6e87aeb2016-04-10 14:12:52 +030064 pyexec_file("boot.py");
65 pyexec_file("main.py");
Josef Gajdusekbda70412015-05-06 00:19:26 +020066#endif
Damien Georgec98c1282015-05-06 00:02:58 +010067}
Damien George075d5972014-11-27 20:30:33 +000068
Damien Georgec98c1282015-05-06 00:02:58 +010069void soft_reset(void) {
Damien George1febaf32015-12-22 14:28:02 +000070 mp_hal_stdout_tx_str("PYB: soft reboot\r\n");
Paul Sokolovsky5699fc92015-10-29 02:06:13 +030071 mp_hal_delay_us(10000); // allow UART to flush output
Damien Georgec98c1282015-05-06 00:02:58 +010072 mp_reset();
Paul Sokolovsky785cf9a2016-04-01 14:02:36 +030073 #if MICROPY_REPL_EVENT_DRIVEN
Damien Georgec98c1282015-05-06 00:02:58 +010074 pyexec_event_repl_init();
Paul Sokolovsky785cf9a2016-04-01 14:02:36 +030075 #endif
Damien Georgec98c1282015-05-06 00:02:58 +010076}
Damien George075d5972014-11-27 20:30:33 +000077
Josef Gajdusek967f3232015-05-17 11:22:26 +020078void init_done(void) {
Paul Sokolovsky785cf9a2016-04-01 14:02:36 +030079 #if MICROPY_REPL_EVENT_DRIVEN
Paul Sokolovsky53302f12016-03-27 14:33:17 +030080 uart_task_init();
Paul Sokolovsky785cf9a2016-04-01 14:02:36 +030081 #endif
Damien Georgec98c1282015-05-06 00:02:58 +010082 mp_reset();
83 mp_hal_stdout_tx_str("\r\n");
Paul Sokolovsky785cf9a2016-04-01 14:02:36 +030084 #if MICROPY_REPL_EVENT_DRIVEN
Damien Georgec98c1282015-05-06 00:02:58 +010085 pyexec_event_repl_init();
Paul Sokolovsky785cf9a2016-04-01 14:02:36 +030086 #endif
Paul Sokolovsky98af8912016-03-31 19:49:55 +030087 dupterm_task_init();
Paul Sokolovsky785cf9a2016-04-01 14:02:36 +030088
89 #if !MICROPY_REPL_EVENT_DRIVEN
90soft_reset:
91 for (;;) {
92 if (pyexec_mode_kind == PYEXEC_MODE_RAW_REPL) {
93 if (pyexec_raw_repl() != 0) {
94 break;
95 }
96 } else {
97 if (pyexec_friendly_repl() != 0) {
98 break;
99 }
100 }
101 }
102 soft_reset();
103 goto soft_reset;
104 #endif
Damien George075d5972014-11-27 20:30:33 +0000105}
106
Josef Gajdusek967f3232015-05-17 11:22:26 +0200107void user_init(void) {
108 system_init_done_cb(init_done);
109}
110
Paul Sokolovsky2f023022016-03-28 18:38:25 +0300111mp_lexer_t *fat_vfs_lexer_new_from_file(const char *filename);
112mp_import_stat_t fat_vfs_import_stat(const char *path);
113
Damien George075d5972014-11-27 20:30:33 +0000114mp_lexer_t *mp_lexer_new_from_file(const char *filename) {
Paul Sokolovskyb4070ee2016-03-28 21:35:41 +0300115 #if MICROPY_VFS_FAT
Paul Sokolovsky2f023022016-03-28 18:38:25 +0300116 return fat_vfs_lexer_new_from_file(filename);
Paul Sokolovskyb4070ee2016-03-28 21:35:41 +0300117 #else
118 (void)filename;
119 return NULL;
120 #endif
Damien George075d5972014-11-27 20:30:33 +0000121}
122
123mp_import_stat_t mp_import_stat(const char *path) {
Paul Sokolovskyb4070ee2016-03-28 21:35:41 +0300124 #if MICROPY_VFS_FAT
Paul Sokolovsky2f023022016-03-28 18:38:25 +0300125 return fat_vfs_import_stat(path);
Paul Sokolovskyb4070ee2016-03-28 21:35:41 +0300126 #else
127 (void)path;
128 return MP_IMPORT_STAT_NO_EXIST;
129 #endif
Damien George075d5972014-11-27 20:30:33 +0000130}
131
Paul Sokolovskyc734de42016-04-10 16:53:28 +0300132mp_obj_t vfs_proxy_call(qstr method_name, mp_uint_t n_args, const mp_obj_t *args);
Damien George075d5972014-11-27 20:30:33 +0000133mp_obj_t mp_builtin_open(uint n_args, const mp_obj_t *args, mp_map_t *kwargs) {
Paul Sokolovskyc734de42016-04-10 16:53:28 +0300134 #if MICROPY_VFS_FAT
135 // TODO: Handle kwargs!
136 return vfs_proxy_call(MP_QSTR_open, n_args, args);
137 #else
Damien George075d5972014-11-27 20:30:33 +0000138 return mp_const_none;
Paul Sokolovskyc734de42016-04-10 16:53:28 +0300139 #endif
Damien George075d5972014-11-27 20:30:33 +0000140}
141MP_DEFINE_CONST_FUN_OBJ_KW(mp_builtin_open_obj, 1, mp_builtin_open);
142
Paul Sokolovskyd3a4d392015-12-20 13:58:58 +0200143void mp_keyboard_interrupt(void) {
144 MP_STATE_VM(mp_pending_exception) = MP_STATE_PORT(mp_kbd_exception);
145}
146
Damien George075d5972014-11-27 20:30:33 +0000147void nlr_jump_fail(void *val) {
148 printf("NLR jump failed\n");
149 for (;;) {
150 }
151}
152
153//void __assert(const char *file, int line, const char *func, const char *expr) {
154void __assert(const char *file, int line, const char *expr) {
155 printf("Assertion '%s' failed, at file %s:%d\n", expr, file, line);
156 for (;;) {
157 }
158}