- CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y
- CONFIG_HIGHMEM=y
- CONFIG_HIGHMEM4G=y
- # CONFIG_HIGHPTE is not set
- # CONFIG_ITCO_VENDOR_SUPPORT is not set
- CONFIG_ITCO_WDT=y
- CONFIG_LOG_BUF_SHIFT=17
- # CONFIG_MTD is not set
- # CONFIG_NOHIGHMEM is not set
- CONFIG_SATA_AHCI=y
- # CONFIG_SQUASHFS is not set
|
