if TARGET_MT_VENTOUX config SYS_BOARD string default "mt_ventoux" config SYS_VENDOR string default "teejet" config SYS_CONFIG_NAME string default "mt_ventoux" endif