CONFIG_SYS_EXTRA_OPTIONS="MUAS_DEV_BOARD"
CONFIG_PPC=y
CONFIG_MPC8260=y
CONFIG_TARGET_MUAS3001=y