2014-01-03 10:15:53 -05:00
|
|
|
#include <stdint.h>
|
|
|
|
|
2013-10-12 19:42:20 -04:00
|
|
|
// options to control how Micro Python is built
|
|
|
|
|
|
|
|
#define MICROPY_EMIT_THUMB (1)
|
|
|
|
#define MICROPY_EMIT_INLINE_THUMB (1)
|
2014-01-07 10:20:33 -05:00
|
|
|
#define MICROPY_ENABLE_GC (1)
|
2014-01-07 09:54:15 -05:00
|
|
|
#define MICROPY_ENABLE_REPL_HELPERS (1)
|
|
|
|
#define MICROPY_ENABLE_FLOAT (1)
|
2013-10-12 19:42:20 -04:00
|
|
|
|
|
|
|
// type definitions for the specific machine
|
|
|
|
|
2013-10-21 18:46:04 -04:00
|
|
|
#define BYTES_PER_WORD (4)
|
|
|
|
|
2013-10-12 19:42:20 -04:00
|
|
|
typedef int32_t machine_int_t; // must be pointer size
|
|
|
|
typedef uint32_t machine_uint_t; // must be pointer size
|
|
|
|
typedef void *machine_ptr_t; // must be of pointer size
|
2013-12-21 13:17:45 -05:00
|
|
|
typedef const void *machine_const_ptr_t; // must be of pointer size
|
2013-10-12 19:42:20 -04:00
|
|
|
typedef float machine_float_t;
|
2013-11-09 15:15:48 -05:00
|
|
|
|
|
|
|
machine_float_t machine_sqrt(machine_float_t x);
|
2014-01-21 17:20:50 -05:00
|
|
|
|
|
|
|
// board specific definitions
|
|
|
|
|
2014-01-21 17:32:51 -05:00
|
|
|
// choose 1 of these boards
|
2014-01-21 17:20:50 -05:00
|
|
|
//#define PYBOARD
|
|
|
|
#define PYBOARD4
|
|
|
|
//#define STM32F4DISC
|
2014-01-21 17:32:51 -05:00
|
|
|
|
2014-01-22 10:42:06 -05:00
|
|
|
#if defined (PYBOARD)
|
2014-01-22 13:34:02 -05:00
|
|
|
#define MICROPY_HW_HAS_SWITCH (1)
|
|
|
|
#define MICROPY_HW_HAS_SDCARD (1)
|
|
|
|
#define MICROPY_HW_HAS_MMA7660 (1)
|
|
|
|
#define MICROPY_HW_HAS_LIS3DSH (0)
|
2014-01-23 06:16:06 -05:00
|
|
|
#define MICROPY_HW_HAS_LCD (0)
|
|
|
|
#define MICROPY_HW_HAS_WLAN (0)
|
2014-01-22 13:34:02 -05:00
|
|
|
#define MICROPY_HW_ENABLE_RNG (1)
|
|
|
|
#define MICROPY_HW_ENABLE_RTC (1)
|
|
|
|
#define MICROPY_HW_ENABLE_TIMER (1)
|
|
|
|
#define MICROPY_HW_ENABLE_SERVO (1)
|
|
|
|
#define MICROPY_HW_ENABLE_AUDIO (0)
|
2014-01-22 10:42:06 -05:00
|
|
|
|
|
|
|
#define USRSW_PORT (GPIOA)
|
|
|
|
#define USRSW_PIN (GPIO_Pin_13)
|
|
|
|
#define USRSW_PUPD (GPIO_PuPd_UP)
|
|
|
|
#define USRSW_EXTI_PIN (EXTI_PinSource13)
|
|
|
|
#define USRSW_EXTI_PORT (EXTI_PortSourceGPIOA)
|
|
|
|
#define USRSW_EXTI_LINE (EXTI_Line13)
|
|
|
|
#define USRSW_EXTI_IRQN (EXTI15_10_IRQn)
|
|
|
|
#define USRSW_EXTI_EDGE (EXTI_Trigger_Rising)
|
|
|
|
#elif defined (PYBOARD4)
|
2014-01-22 13:34:02 -05:00
|
|
|
#define MICROPY_HW_HAS_SWITCH (1)
|
|
|
|
#define MICROPY_HW_HAS_SDCARD (1)
|
|
|
|
#define MICROPY_HW_HAS_MMA7660 (1)
|
|
|
|
#define MICROPY_HW_HAS_LIS3DSH (0)
|
2014-01-23 06:16:06 -05:00
|
|
|
#define MICROPY_HW_HAS_LCD (0)
|
|
|
|
#define MICROPY_HW_HAS_WLAN (0)
|
2014-01-22 13:34:02 -05:00
|
|
|
#define MICROPY_HW_ENABLE_RNG (1)
|
|
|
|
#define MICROPY_HW_ENABLE_RTC (1)
|
|
|
|
#define MICROPY_HW_ENABLE_TIMER (1)
|
|
|
|
#define MICROPY_HW_ENABLE_SERVO (1)
|
|
|
|
#define MICROPY_HW_ENABLE_AUDIO (0)
|
2014-01-22 10:42:06 -05:00
|
|
|
|
|
|
|
#define USRSW_PORT (GPIOB)
|
|
|
|
#define USRSW_PIN (GPIO_Pin_3)
|
|
|
|
#define USRSW_PUPD (GPIO_PuPd_UP)
|
|
|
|
#define USRSW_EXTI_PIN (EXTI_PinSource3)
|
|
|
|
#define USRSW_EXTI_PORT (EXTI_PortSourceGPIOB)
|
|
|
|
#define USRSW_EXTI_LINE (EXTI_Line3)
|
|
|
|
#define USRSW_EXTI_IRQN (EXTI15_10_IRQn)
|
|
|
|
#define USRSW_EXTI_EDGE (EXTI_Trigger_Rising)
|
|
|
|
#elif defined (STM32F4DISC)
|
2014-01-22 13:34:02 -05:00
|
|
|
#define MICROPY_HW_HAS_SWITCH (1)
|
|
|
|
#define MICROPY_HW_HAS_SDCARD (0)
|
|
|
|
#define MICROPY_HW_HAS_MMA7660 (0)
|
|
|
|
#define MICROPY_HW_HAS_LIS3DSH (1)
|
2014-01-23 06:16:06 -05:00
|
|
|
#define MICROPY_HW_HAS_LCD (0)
|
|
|
|
#define MICROPY_HW_HAS_WLAN (0)
|
2014-01-22 13:34:02 -05:00
|
|
|
#define MICROPY_HW_ENABLE_RNG (1)
|
|
|
|
#define MICROPY_HW_ENABLE_RTC (1)
|
|
|
|
#define MICROPY_HW_ENABLE_TIMER (1)
|
|
|
|
#define MICROPY_HW_ENABLE_SERVO (0)
|
|
|
|
#define MICROPY_HW_ENABLE_AUDIO (0)
|
2014-01-22 10:42:06 -05:00
|
|
|
|
|
|
|
#define USRSW_PORT (GPIOA)
|
|
|
|
#define USRSW_PIN (GPIO_Pin_0)
|
|
|
|
#define USRSW_PUPD (GPIO_PuPd_NOPULL)
|
|
|
|
#define USRSW_EXTI_PIN (EXTI_PinSource0)
|
|
|
|
#define USRSW_EXTI_PORT (EXTI_PortSourceGPIOA)
|
|
|
|
#define USRSW_EXTI_LINE (EXTI_Line0)
|
|
|
|
#define USRSW_EXTI_IRQN (EXTI0_IRQn)
|
|
|
|
#define USRSW_EXTI_EDGE (EXTI_Trigger_Falling)
|
2014-01-21 21:06:28 -05:00
|
|
|
#endif
|
|
|
|
|
2014-01-21 17:32:51 -05:00
|
|
|
#define STM32F40_41xxx
|
|
|
|
#define USE_STDPERIPH_DRIVER
|
|
|
|
#define HSE_VALUE (8000000)
|