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
15 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
17 # CONFIG_PSB6970_PHY is not set
18 # CONFIG_RTL8366_SMI is not set
20 CONFIG_SOC_AMAZON_SE=y
21 # CONFIG_SOC_XWAY is not set
22 CONFIG_TARGET_ISA_REV=1
25 # CONFIG_USB_EHCI_HCD is not set