Merge branches 'device-properties' and 'acpi-misc'
[cascardo/linux.git] / arch / x86 / configs / tiny.config
1 CONFIG_NOHIGHMEM=y
2 # CONFIG_HIGHMEM4G is not set
3 # CONFIG_HIGHMEM64G is not set