1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
if TARGET_TX25 config SYS_BOARD default "tx25" config SYS_VENDOR default "karo" config SYS_SOC default "mx25" config SYS_CONFIG_NAME default "tx25" endif