mirror of
https://github.com/seL4/seL4.git
synced 2026-04-09 08:49:54 +00:00
This change updates the vspace chapter to separate the high-level concept of a VSpace from the architectually defined objects. It also updates the various names for the vspace parameter to all be vspace.