if TARGET_STM32H743_DISCO config SYS_BOARD default "stm32h743-disco" config SYS_VENDOR default "st" config SYS_SOC default "stm32h7" config SYS_CONFIG_NAME default "stm32h743-disco" endif