2014-02-17 20:57:13 -05:00
|
|
|
#define STM32F4DISC
|
|
|
|
|
|
|
|
#define MICROPY_HW_BOARD_NAME "F4DISC"
|
|
|
|
|
|
|
|
#define MICROPY_HW_HAS_SWITCH (1)
|
|
|
|
#define MICROPY_HW_HAS_SDCARD (0)
|
|
|
|
#define MICROPY_HW_HAS_MMA7660 (0)
|
|
|
|
#define MICROPY_HW_HAS_LIS3DSH (1)
|
|
|
|
#define MICROPY_HW_HAS_LCD (0)
|
|
|
|
#define MICROPY_HW_HAS_WLAN (0)
|
|
|
|
#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-02-20 01:28:36 -05:00
|
|
|
// USRSW is pulled low. Pressing the button makes the input go high.
|
|
|
|
#define USRSW_PIN (pin_A0)
|
2014-02-17 20:57:13 -05:00
|
|
|
#define USRSW_PUPD (GPIO_PuPd_NOPULL)
|
2014-02-20 01:28:36 -05:00
|
|
|
#define USRSW_EXTI_EDGE (EXTI_Trigger_Rising)
|
|
|
|
#define USRSW_PRESSED (1)
|
2014-02-17 20:57:13 -05:00
|
|
|
|
|
|
|
/* LED */
|
2014-02-26 03:05:34 -05:00
|
|
|
#define PYB_LED1 (pin_D14) // red
|
|
|
|
#define PYB_LED2 (pin_D12) // green
|
|
|
|
#define PYB_LED3 (pin_D13) // orange
|
|
|
|
#define PYB_LED4 (pin_D15) // blue
|
2014-02-17 20:57:13 -05:00
|
|
|
|
|
|
|
#define PYB_OTYPE (GPIO_OType_PP)
|
|
|
|
|
2014-02-26 03:05:34 -05:00
|
|
|
#define PYB_LED_ON(pin) (pin->gpio->BSRRL = pin->pin_mask)
|
|
|
|
#define PYB_LED_OFF(pin) (pin->gpio->BSRRH = pin->pin_mask)
|
2014-02-17 20:57:13 -05:00
|
|
|
|