Prove two-node RISC-V Type 3 dirty back-invalidation - #2

Merged

vickiegpt merged 22 commits into

mainfrom

codex/legofs-type3-mesi-proof

Aug 14, 2026

Commits on Aug 14, 2026

docs: design two-node Legofs Type-3 coherence proof
vickiegpt
committed
a30313f
docs: plan Legofs Type 3 coherence proof
vickiegpt
committed
c688771
chore: pin Legofs and MESI v2 sources
vickiegpt
committed
ea68767
guest: add strict Legofs Type 3 node image
vickiegpt
committed
866521d
chore: pin Type 3 coherence evidence components
vickiegpt
committed
5fc98ce
build: add reproducible Legofs Type 3 guest artifacts
vickiegpt
committed
c978c5a
build: validate ext2 Legofs payload contents
vickiegpt
committed
05e0098
run: orchestrate two SiFive U Type 3 nodes
vickiegpt
committed
ff1dc87
test: require Legofs-triggered dirty back-invalidation
vickiegpt
committed
09c7f4e
fix: interrupt U-Boot autoboot in two-node runner
vickiegpt
committed
305a7dd
run: expose persistent Type 3 media through devdax
vickiegpt
committed
e5ac4f3
build: enable zone-device support for CXL devdax
vickiegpt
committed
0c1779c
guest: wait for asynchronous CXL devdax probe
vickiegpt
committed
05d23d6
guest: parse getdents64 records by ABI offset
vickiegpt
committed
79bebfa
test: require actionable CXL dax probe diagnostics
vickiegpt
committed
66f3ede
guest: discover device-dax on the dax bus
vickiegpt
committed
14dfc83
build: bind CXL regions to device-dax
vickiegpt
committed
a0e0d0d
guest: align lifecycle maps to CXL devdax
vickiegpt
committed
699455c
build: enable filesystem DAX for device mappings
vickiegpt
committed
edcd6b8
guest: persist CXL dax ranges at mapping granularity
vickiegpt
committed
6e3da61
build: require persistent CXL devdax fsync
vickiegpt
committed
daab2cf
test: prove Legofs Type 3 dirty back-invalidation
vickiegpt
committed
bfc9d15

Navigation Menu

Uh oh!

Prove two-node RISC-V Type 3 dirty back-invalidation - #2

Prove two-node RISC-V Type 3 dirty back-invalidation#2
vickiegpt merged 22 commits into
mainfrom
codex/legofs-type3-mesi-proof

Commits on Aug 14, 2026

docs: design two-node Legofs Type-3 coherence proof

docs: plan Legofs Type 3 coherence proof

chore: pin Legofs and MESI v2 sources

guest: add strict Legofs Type 3 node image

chore: pin Type 3 coherence evidence components

build: add reproducible Legofs Type 3 guest artifacts

build: validate ext2 Legofs payload contents

run: orchestrate two SiFive U Type 3 nodes

test: require Legofs-triggered dirty back-invalidation

fix: interrupt U-Boot autoboot in two-node runner

run: expose persistent Type 3 media through devdax

build: enable zone-device support for CXL devdax

guest: wait for asynchronous CXL devdax probe

guest: parse getdents64 records by ABI offset

test: require actionable CXL dax probe diagnostics

guest: discover device-dax on the dax bus

build: bind CXL regions to device-dax

guest: align lifecycle maps to CXL devdax

build: enable filesystem DAX for device mappings

guest: persist CXL dax ranges at mapping granularity

build: require persistent CXL devdax fsync

test: prove Legofs Type 3 dirty back-invalidation