mirror of
https://github.com/drasko/codezero.git
synced 2026-04-12 23:19:02 +02:00
We still have to have the pager structs because they possess intermediate data during boot up such as for transferring of capability lists to boot stack one-by-one, and then to newly generated ktcbs.