Re: [patch 2/3] CONFIG_HIGHPTE vs. sub-page page tables.

Andi Kleen
2008-01-03T13:12:42Z

> Can we please just nuke CONFIG_HIGHPTE? There's only been a small
> amount of 32bit machines

It's unfortunately a larger amount :/ And for unknown reasons a lot of
people still install 32bit kernels on new perfectly capable 64bit systems
even if they have a lot of memory.

I don't think removing CONFIG_HIGHPTE will be an option any time soon.

-Andi