2 CONFIG_ARCH_HAS_PTE_SPECIAL=y
4 # CONFIG_CPU_MIPS32_R2 is not set
8 CONFIG_CRYPTO_DEFLATE=y
9 CONFIG_FIRMWARE_MEMMAP=y
10 CONFIG_GENERIC_ALLOCATOR=y
12 CONFIG_GPIO_GENERIC_PLATFORM=y
13 # CONFIG_ISDN is not set
17 CONFIG_SOC_AMAZON_SE=y
18 # CONFIG_SOC_XWAY is not set
20 CONFIG_TARGET_ISA_REV=1