guest@pc1:/boot$ grep -i 'high' config-2.6.16-2-k7 # CONFIG_NOHIGHMEM is not set CONFIG_HIGHMEM4G=y # CONFIG_HIGHMEM64G is not set CONFIG_HIGHMEM=y # CONFIG_HIGHPTE is not set # Parallel IDE high-level drivers # CONFIG_DEBUG_HIGHMEM is not set guest@pc1:/boot$