[PATCH] Clean up CONFIG_HIGHMEM & HIGHPTE options.
authorDave Jones <davej@suse.de>
Wed, 3 Apr 2002 03:59:56 +0000 (19:59 -0800)
committerDave Jones <davej@suse.de>
Wed, 3 Apr 2002 03:59:56 +0000 (19:59 -0800)
commit5de9c24aac8521d710defed397c11f4f296cbd93
tree3194769aa59ef6ed3d7035dc36c7957fd1bb7940
parenta438ced777ee15368a4e20068c5d28e8986a4afd
[PATCH] Clean up CONFIG_HIGHMEM & HIGHPTE options.

Makes CONFIG_HIGHPTE an option instead of derived.
Original from Steven Cole.
arch/i386/Config.help
arch/i386/config.in