diff options
| author | Rui Salvaterra <rsalvaterra@gmail.com> | 2022-01-03 13:36:36 +0000 |
|---|---|---|
| committer | Rui Salvaterra <rsalvaterra@gmail.com> | 2022-03-01 22:57:34 +0000 |
| commit | 72d2c54ccbfec20503b2ae9ff3ea66cfcf3c8703 (patch) | |
| tree | f443eac1a1c39301f99c5e33b90c605ff1b49bf1 /target/linux/x86 | |
| parent | 0989b7ad3a38345bc09a535782884d78ec195c9d (diff) | |
| download | upstream-72d2c54ccbfec20503b2ae9ff3ea66cfcf3c8703.tar.gz upstream-72d2c54ccbfec20503b2ae9ff3ea66cfcf3c8703.tar.bz2 upstream-72d2c54ccbfec20503b2ae9ff3ea66cfcf3c8703.zip | |
kernel: 5.10: allocate last level PTEs in high memory
Enable support for allocating user space page table entries in high memory [1],
for the targets which support this feature. This saves precious low memory
(permanently mapped, the only type of memory directly accessible by the kernel).
[1] https://www.kernel.org/doc/html/latest/vm/highmem.html
Signed-off-by: Rui Salvaterra <rsalvaterra@gmail.com>
Diffstat (limited to 'target/linux/x86')
| -rw-r--r-- | target/linux/x86/config-5.10 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/target/linux/x86/config-5.10 b/target/linux/x86/config-5.10 index 2d07f5a905..ec27bb7945 100644 --- a/target/linux/x86/config-5.10 +++ b/target/linux/x86/config-5.10 @@ -146,7 +146,7 @@ CONFIG_HID=y CONFIG_HIGHMEM=y CONFIG_HIGHMEM4G=y # CONFIG_HIGHMEM64G is not set -# CONFIG_HIGHPTE is not set +CONFIG_HIGHPTE=y CONFIG_HPET_EMULATE_RTC=y CONFIG_HPET_TIMER=y # CONFIG_HP_WATCHDOG is not set |