set(OPENOCD_BOARD_CFG       "stm32f4discovery.cfg")
set(STM32_STARTUP_CODE      "boards/STM32F4_Discovery/startup_stm32f407xx.S")
set(STM32_LDSCRIPT          "boards/STM32F4_Discovery/STM32F407VGTx_FLASH.ld")
set(STM32_CPU_FAMILY        "STM32F4")
set(STM32_CPU_TYPE          "STM32F407xx")

set(STM32_SVD_FILE          "STM32F407.svd")

set(HAVE_USB_OTG            TRUE)
