if TARGET_ELPPC config SYS_BOARD default "elppc" config SYS_VENDOR default "eltec" config SYS_CONFIG_NAME default "ELPPC" endif