target/linux/x86/ep80579/config-default

   1 CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y
   2 CONFIG_HIGHMEM=y
   3 CONFIG_HIGHMEM4G=y
   4 # CONFIG_HIGHPTE is not set
   5 # CONFIG_ITCO_VENDOR_SUPPORT is not set
   6 CONFIG_ITCO_WDT=y
   7 CONFIG_LOG_BUF_SHIFT=17
   8 # CONFIG_MTD is not set
   9 # CONFIG_NOHIGHMEM is not set
  10 CONFIG_SATA_AHCI=y
  11 # CONFIG_SQUASHFS is not set