Properly CoW page tables to the scratch region - #1198

Merged

syntactically merged 15 commits into

mainfrom

Feb 2, 2026

Commits on Feb 2, 2026

Update guest Cargo.lock
syntactically
committed
658bb2e
[nix] include miri for the nightly toolchain
syntactically
committed
4c19b5a
[nix] hack to make libgit2-sys builds more reliable
syntactically
committed
151cf04
[just] Bring `just like-ci` in line with CI changes
syntactically
committed
039b4a0
[kvm] Better document the cpuid leaf used to set GPA width
syntactically
committed
9209f1c
[whp] Remove initial_memory_setup_done, which is no longer used
syntactically
committed
0a575d4
Make scratch region writable again
syntactically
committed
8916cad
Use MAP_SHARED for shared memory creation again
syntactically
committed
1f94fb3
Modify guest physical page allocator to allocate from the scratch region
syntactically
committed
419ba3b
i686: add layout, vmem, etc stubs
syntactically
committed
5594582
Move guest-written page tables to the scratch region
syntactically
committed
6cfebad
Make the snapshot page table mapping readonly
syntactically
committed
a57d677
snapshot: handle the scratch region correctly
syntactically
committed
d2e4669
Explicitly specify the physical addresses of snapshot page tables
syntactically
committed
329eec6
Neaten up page table operations structures
syntactically
committed
e2621b9