if TARGET_SHEEVAPLUG config SYS_BOARD default "sheevaplug" config SYS_VENDOR default "Marvell" config SYS_CONFIG_NAME default "sheevaplug" endif
