feat: introduce generic multi-architecture paging/address-space model - #710

Open

DID-Lab-SZU wants to merge 12 commits into

asterinas:mainfrom

DID-Lab-SZU:feat/arch-paging-model

Commits on Sep 8, 2026

Integrate architecture paging model and fix verification
Je5s1e
committed
f158f4b
Merge branch 'asterinas:main' into feat/arch-paging-model
DID-Lab-SZU
authored
0a0ee37
Merge branch 'asterinas:main' into feat/arch-paging-model
DID-Lab-SZU
authored
d3131c3

Commits on Sep 9, 2026

Merge official main into feat/arch-paging-model
Je5s1e
committed
cd6490d
Clean up page table owner proof imports
Je5s1e
committed
ab07013
Merge branch 'asterinas:main' into feat/arch-paging-model
DID-Lab-SZU
authored
f276dc5

Commits on Sep 11, 2026

resolve confilct
Je5s1e
committed
143f581
Merge branch 'asterinas:main' into feat/arch-paging-model
DID-Lab-SZU
authored
48c5aef

Commits on Sep 14, 2026

Merge upstream main and resolve confict
Je5s1e
committed
26aee5c
resolve conflicts
Je5s1e
committed
64f9d49

Commits on Sep 15, 2026

address architecture paging review feedback
Je5s1e
committed
02f2f35
Merge official main and resolve conflicts
Je5s1e
committed
87bb628