summaryrefslogtreecommitdiffstats
path: root/config/hardware
diff options
context:
space:
mode:
authorArthur Hanson Rasmusson <arthur@vgpu.io>2026-10-08 18:24:20 -0400
committerArthur Hanson Rasmusson <arthur@vgpu.io>2026-10-08 18:24:20 -0400
commit1e6da3cd5e8e8c7ecd57c052c92cda389e1dd88e (patch)
treed7521ec3b5b63ca8af31905e25117a3ac5a7f6d9 /config/hardware
parentccd67713a99c5bdb84fe0e52df17bc66ff23abcf (diff)
downloadopen-iov-1e6da3cd5e8e8c7ecd57c052c92cda389e1dd88e.tar.gz
open-iov-1e6da3cd5e8e8c7ecd57c052c92cda389e1dd88e.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 'config/hardware')
0 files changed, 0 insertions, 0 deletions