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
14 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
16 # CONFIG_PSB6970_PHY is not set
17 # CONFIG_RTL8366_SMI is not set
19 CONFIG_SOC_AMAZON_SE=y
20 # CONFIG_SOC_XWAY is not set
21 CONFIG_TARGET_ISA_REV=1
24 # CONFIG_USB_EHCI_HCD is not set