1CONFIG_MIPS=y 2CONFIG_TARGET_PB1X00=y 3CONFIG_SYS_EXTRA_OPTIONS="PB1000" 4# CONFIG_CMD_BDI is not set 5# CONFIG_CMD_RUN is not set 6# CONFIG_CMD_SAVEENV is not set 7# CONFIG_CMD_LOADB is not set 8# CONFIG_CMD_LOADS is not set 9# CONFIG_CMD_FLASH is not set 10# CONFIG_CMD_FPGA is not set 11# CONFIG_CMD_SETEXPR is not set 12CONFIG_USE_PRIVATE_LIBGCC=y 13CONFIG_SYS_PROMPT="Pb1x00 # " 14