boredsquirrel, 26 days ago (edited 26 days ago)

Searching for “XenTCB” already brings a lot of useful results

• TCB
• breaking up Hypervisors into smaller parts
• Xen 4.11 release info
• TCB overview
• [scientific paper about some more stuff])link.springer.com/…/978-3-319-11203-9_18.pdf)
• security in a commodity hypervisor