if TARGET_GIEDI config SYS_BOARD default "capricorn" config SYS_VENDOR default "siemens" config SYS_CONFIG_NAME default "giedi" endif