if TARGET_DRACO config SYS_BOARD default "draco" config SYS_VENDOR default "siemens" config SYS_SOC default "am33xx" config SYS_CONFIG_NAME default "draco" endif if TARGET_DXR2 config SYS_BOARD default "draco" config SYS_VENDOR default "siemens" config SYS_SOC default "am33xx" config SYS_CONFIG_NAME default "dxr2" endif if TARGET_RASTABAN config SYS_BOARD default "draco" config SYS_VENDOR default "siemens" config SYS_SOC default "am33xx" config SYS_CONFIG_NAME default "rastaban" endif