diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-08 18:24:20 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-08 18:24:20 -0400 |
| commit | c31485b90d903bf8d3b20805b6aee2591911ad63 (patch) | |
| tree | 1066e317b914bee5b0ba17b3fbee6093bc556465 /.github/workflows | |
| parent | 05dd3b80fac380a786ce01da1820e2b63baffe4c (diff) | |
| download | open-iov-c31485b90d903bf8d3b20805b6aee2591911ad63.tar.gz open-iov-c31485b90d903bf8d3b20805b6aee2591911ad63.zip | |
vgsp-sema: reject identity pool-semaphore translations (the wedge class)
Wedges (WEDGE-COMPARE-r7-vs-r10.md) wrote the pool completion to pa==va
(0x121000000, src=trusted) instead of the guest's real page (greens use
src=pin); the read-back proof cannot catch identity because the SYS
aperture reads/writes accept any address, so it cached and the guest's
first tracker wait never woke (kernel logging stops at client init, guest
wedges). Never accept or cache a pool VA->PA resolved to an identity page:
guard lookup/cache/store and every resolver source; a rejected identity
misses, so the release queues in svc_pending[] until the real pin lands.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions
