| commit | c11ad59ed69226c54a17ff46c83e92fa6d3efc03 | [log] [tgz] |
|---|---|---|
| author | Daniel Leung <daniel.leung@intel.com> | Mon Jul 12 13:35:14 2021 -0700 |
| committer | Christopher Friedt <chrisfriedt@gmail.com> | Thu Aug 26 21:16:22 2021 -0400 |
| tree | 297841476cc346c125f3da61fb48f0ab53ba811d | |
| parent | 30e5968d34cebd0578694c88fe02753233e5cddd [diff] |
x86: mmu: don't mark generic sections as present if desired With demand paging, it is possible for data pages to not be present in physical memory. The gen_mmu.py script is updated so that, if so desired, the generic sections are marked non-present so the paging mechanism can bring them in if needed. Signed-off-by: Daniel Leung <daniel.leung@intel.com>