mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 00:24:51 +00:00
b83b53d3b2
The initial SVM implementation (correctly) just used another standard x86_64 page table for nested paging. The EPT implementation is for Intel VMX only. Since we don't know the underlying virtualization technology at compile time, we need to pick the correct page table implementation at runtime. Add add a AMD-compatible HPT page table implementation using the same base implementation and (more importantly) allocator as the EPT implementation. Add a Vm_page_table implementation that determines the used virtualization technology at runtime and internally defers insert and remove operations to the correct page table implementation. Issue #5218