diff options
| author | liamwhite <liamwhite@users.noreply.github.com> | 2024-02-06 10:25:03 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-06 10:25:03 -0500 |
| commit | c10e720ba9cb979577b3af53adb1347f13ec4ad5 (patch) | |
| tree | 45094c231d85f9ab51ffe8299cf893affb4e7be8 /src/core/memory | |
| parent | 5016de3626c771ee51f4ced0b3d7610bd6a2140e (diff) | |
| parent | f740d8b9be1b42dae9ac6d7311a55b0c34b5a8e1 (diff) | |
Merge pull request #12883 from FernandoS27/memory_manager_mem
MemoryManager: Reduce the page table size based on last big page address.
Diffstat (limited to 'src/core/memory')
0 files changed, 0 insertions, 0 deletions