if TARGET_WALNUT config SYS_BOARD default "walnut" config SYS_VENDOR default "amcc" config SYS_CONFIG_NAME default "walnut" endif