Root/
| 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 |
| 12 |
