141 lines
4.6 KiB
C
141 lines
4.6 KiB
C
#include <stdint.h>
|
|
|
|
// options to control how MicroPython is built
|
|
|
|
#define MICROPY_ALLOC_PATH_MAX (128)
|
|
#define MICROPY_EMIT_THUMB (1)
|
|
#define MICROPY_EMIT_INLINE_THUMB (1)
|
|
#define MICROPY_ENABLE_GC (1)
|
|
#define MICROPY_ENABLE_FINALISER (1)
|
|
#define MICROPY_STACK_CHECK (1)
|
|
#define MICROPY_HELPER_REPL (1)
|
|
#define MICROPY_REPL_INFO (1)
|
|
#define MICROPY_ENABLE_SOURCE_LINE (1)
|
|
#define MICROPY_LONGINT_IMPL (MICROPY_LONGINT_IMPL_MPZ)
|
|
#define MICROPY_FLOAT_IMPL (MICROPY_FLOAT_IMPL_FLOAT)
|
|
#define MICROPY_OPT_COMPUTED_GOTO (1)
|
|
|
|
#define MICROPY_PY_BUILTINS_INPUT (1)
|
|
#define MICROPY_PY_BUILTINS_HELP (1)
|
|
#define MICROPY_PY_BUILTINS_HELP_TEXT teensy_help_text
|
|
|
|
#define MICROPY_PY_IO (0)
|
|
#define MICROPY_PY_FROZENSET (1)
|
|
#define MICROPY_PY_SYS_EXIT (1)
|
|
#define MICROPY_PY_SYS_STDFILES (1)
|
|
#define MICROPY_PY_CMATH (1)
|
|
|
|
#define MICROPY_TIMER_REG (0)
|
|
#define MICROPY_REG (MICROPY_TIMER_REG)
|
|
|
|
#define MICROPY_ENABLE_EMERGENCY_EXCEPTION_BUF (1)
|
|
#define MICROPY_EMERGENCY_EXCEPTION_BUF_SIZE (0)
|
|
|
|
// extra built in names to add to the global namespace
|
|
#define MICROPY_PORT_BUILTINS \
|
|
|
|
// extra built in modules to add to the list of known ones
|
|
extern const struct _mp_obj_module_t os_module;
|
|
extern const struct _mp_obj_module_t pyb_module;
|
|
extern const struct _mp_obj_module_t time_module;
|
|
#define MICROPY_PORT_BUILTIN_MODULES \
|
|
{ MP_ROM_QSTR(MP_QSTR_pyb), MP_ROM_PTR(&pyb_module) }, \
|
|
|
|
// extra constants
|
|
#define MICROPY_PORT_CONSTANTS \
|
|
{ MP_ROM_QSTR(MP_QSTR_pyb), MP_ROM_PTR(&pyb_module) }, \
|
|
|
|
#define MP_STATE_PORT MP_STATE_VM
|
|
|
|
#define MICROPY_PORT_ROOT_POINTERS \
|
|
const char *readline_hist[8]; \
|
|
mp_obj_t pin_class_mapper; \
|
|
mp_obj_t pin_class_map_dict; \
|
|
struct _pyb_uart_obj_t *pyb_stdio_uart; \
|
|
|
|
// type definitions for the specific machine
|
|
|
|
#define UINT_FMT "%u"
|
|
#define INT_FMT "%d"
|
|
|
|
typedef int32_t mp_int_t; // must be pointer size
|
|
typedef unsigned int mp_uint_t; // must be pointer size
|
|
typedef long mp_off_t;
|
|
|
|
#define MP_PLAT_PRINT_STRN(str, len) mp_hal_stdout_tx_strn_cooked(str, len)
|
|
|
|
// We have inlined IRQ functions for efficiency (they are generally
|
|
// 1 machine instruction).
|
|
//
|
|
// Note on IRQ state: you should not need to know the specific
|
|
// value of the state variable, but rather just pass the return
|
|
// value from disable_irq back to enable_irq. If you really need
|
|
// to know the machine-specific values, see irq.h.
|
|
|
|
#ifndef __disable_irq
|
|
#define __disable_irq() __asm__ volatile ("CPSID i");
|
|
#endif
|
|
|
|
__attribute__(( always_inline )) static inline uint32_t __get_PRIMASK(void) {
|
|
uint32_t result;
|
|
__asm volatile ("MRS %0, primask" : "=r" (result));
|
|
return result;
|
|
}
|
|
|
|
__attribute__(( always_inline )) static inline void __set_PRIMASK(uint32_t priMask) {
|
|
__asm volatile ("MSR primask, %0" : : "r" (priMask) : "memory");
|
|
}
|
|
|
|
__attribute__(( always_inline )) static inline void enable_irq(mp_uint_t state) {
|
|
__set_PRIMASK(state);
|
|
}
|
|
|
|
__attribute__(( always_inline )) static inline mp_uint_t disable_irq(void) {
|
|
mp_uint_t state = __get_PRIMASK();
|
|
__disable_irq();
|
|
return state;
|
|
}
|
|
|
|
#define MICROPY_BEGIN_ATOMIC_SECTION() disable_irq()
|
|
#define MICROPY_END_ATOMIC_SECTION(state) enable_irq(state)
|
|
|
|
// We need to provide a declaration/definition of alloca()
|
|
#include <alloca.h>
|
|
|
|
// The following would be from a board specific file, if one existed
|
|
|
|
#define MICROPY_HW_BOARD_NAME "Teensy-3.1"
|
|
#define MICROPY_HW_MCU_NAME "MK20DX256"
|
|
|
|
#define MICROPY_HW_HAS_SWITCH (0)
|
|
#define MICROPY_HW_HAS_SDCARD (0)
|
|
#define MICROPY_HW_HAS_MMA7660 (0)
|
|
#define MICROPY_HW_HAS_LIS3DSH (0)
|
|
#define MICROPY_HW_HAS_LCD (0)
|
|
#define MICROPY_HW_ENABLE_RNG (0)
|
|
#define MICROPY_HW_ENABLE_RTC (0)
|
|
#define MICROPY_HW_ENABLE_TIMER (0)
|
|
#define MICROPY_HW_ENABLE_SERVO (0)
|
|
#define MICROPY_HW_ENABLE_DAC (0)
|
|
#define MICROPY_HW_ENABLE_I2C1 (0)
|
|
#define MICROPY_HW_ENABLE_SPI1 (0)
|
|
#define MICROPY_HW_ENABLE_SPI3 (0)
|
|
#define MICROPY_HW_ENABLE_CC3K (0)
|
|
|
|
#define MICROPY_HW_LED1 (pin_C5)
|
|
#define MICROPY_HW_LED_OTYPE (GPIO_MODE_OUTPUT_PP)
|
|
#define MICROPY_HW_LED_ON(pin) (pin->gpio->PSOR = pin->pin_mask)
|
|
#define MICROPY_HW_LED_OFF(pin) (pin->gpio->PCOR = pin->pin_mask)
|
|
|
|
#if 0
|
|
// SD card detect switch
|
|
#define MICROPY_HW_SDCARD_DETECT_PIN (pin_A8)
|
|
#define MICROPY_HW_SDCARD_DETECT_PULL (GPIO_PULLUP)
|
|
#define MICROPY_HW_SDCARD_DETECT_PRESENT (GPIO_PIN_RESET)
|
|
#endif
|
|
|
|
#define MICROPY_MATH_SQRT_ASM (1)
|
|
|
|
#define MICROPY_MPHALPORT_H "teensy_hal.h"
|
|
#define MICROPY_PIN_DEFS_PORT_H "pin_defs_teensy.h"
|