2014-03-12 02:55:41 -04:00
|
|
|
#define STM32F4DISC
|
|
|
|
|
|
|
|
#define MICROPY_HW_BOARD_NAME "F4DISC"
|
2014-06-19 08:40:00 -04:00
|
|
|
#define MICROPY_HW_MICRO_NAME "STM32F407"
|
2014-03-12 02:55:41 -04: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)
|
|
|
|
#define MICROPY_HW_HAS_LCD (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)
|
2014-03-24 11:15:33 -04:00
|
|
|
#define MICROPY_HW_ENABLE_DAC (0)
|
2014-04-20 14:06:15 -04:00
|
|
|
#define MICROPY_HW_ENABLE_I2C1 (1)
|
|
|
|
#define MICROPY_HW_ENABLE_SPI1 (1)
|
|
|
|
#define MICROPY_HW_ENABLE_SPI3 (0)
|
2014-05-03 12:32:55 -04:00
|
|
|
#define MICROPY_HW_ENABLE_CC3K (0)
|
2014-03-12 02:55:41 -04:00
|
|
|
|
|
|
|
// USRSW is pulled low. Pressing the button makes the input go high.
|
2014-03-30 07:30:35 -04:00
|
|
|
#define MICROPY_HW_USRSW_PIN (pin_A0)
|
|
|
|
#define MICROPY_HW_USRSW_PULL (GPIO_NOPULL)
|
|
|
|
#define MICROPY_HW_USRSW_EXTI_MODE (GPIO_MODE_IT_RISING)
|
|
|
|
#define MICROPY_HW_USRSW_PRESSED (1)
|
2014-03-12 02:55:41 -04:00
|
|
|
|
2014-03-30 07:30:35 -04:00
|
|
|
// LEDs
|
|
|
|
#define MICROPY_HW_LED1 (pin_D14) // red
|
|
|
|
#define MICROPY_HW_LED2 (pin_D12) // green
|
|
|
|
#define MICROPY_HW_LED3 (pin_D13) // orange
|
|
|
|
#define MICROPY_HW_LED4 (pin_D15) // blue
|
|
|
|
#define MICROPY_HW_LED_OTYPE (GPIO_MODE_OUTPUT_PP)
|
|
|
|
#define MICROPY_HW_LED_ON(pin) (pin->gpio->BSRRL = pin->pin_mask)
|
|
|
|
#define MICROPY_HW_LED_OFF(pin) (pin->gpio->BSRRH = pin->pin_mask)
|