| CONFIG_MIPS=y |
| CONFIG_SYS_TEXT_BASE=0xffffffff80000000 |
| CONFIG_SYS_MALLOC_F_LEN=0x4000 |
| CONFIG_ENV_SIZE=0x2000 |
| CONFIG_ENV_SECT_SIZE=0x10000 |
| CONFIG_NR_DRAM_BANKS=2 |
| CONFIG_DEBUG_UART_BASE=0x8001180000000800 |
| CONFIG_DEBUG_UART_CLOCK=1200000000 |
| CONFIG_ARCH_OCTEON=y |
| # CONFIG_MIPS_CACHE_SETUP is not set |
| # CONFIG_MIPS_CACHE_DISABLE is not set |
| CONFIG_DEBUG_UART=y |
| CONFIG_SYS_CONSOLE_INFO_QUIET=y |
| CONFIG_HUSH_PARSER=y |
| CONFIG_CMD_MTD=y |
| CONFIG_CMD_PCI=y |
| CONFIG_CMD_DHCP=y |
| CONFIG_CMD_PING=y |
| CONFIG_CMD_TIME=y |
| CONFIG_ENV_IS_IN_FLASH=y |
| CONFIG_ENV_ADDR=0x1FBFE000 |
| CONFIG_CLK=y |
| # CONFIG_INPUT is not set |
| CONFIG_MTD=y |
| CONFIG_DM_MTD=y |
| CONFIG_MTD_NOR_FLASH=y |
| CONFIG_FLASH_CFI_DRIVER=y |
| CONFIG_CFI_FLASH=y |
| CONFIG_SYS_FLASH_USE_BUFFER_WRITE=y |
| CONFIG_FLASH_CFI_MTD=y |
| CONFIG_SYS_FLASH_CFI=y |
| # CONFIG_NETDEVICES is not set |
| CONFIG_DEBUG_UART_SHIFT=3 |
| CONFIG_DEBUG_UART_ANNOUNCE=y |
| CONFIG_SYS_NS16550=y |
| CONFIG_SYSRESET=y |
| CONFIG_SYSRESET_OCTEON=y |
| CONFIG_HEXDUMP=y |