Backends

The concrete backend implementations that realize the frozen partition contract on real hypervisors: Xen, xTRATUM, and XNG.

• Backends
  • The initial backend matrix
  • Pages in this section
  • What every backend maps
  • Rules for backend work (frozen at M0)
• Backend: Xen
  • Role in the model
  • x86-64 status
  • HPSC status research track
  • What Xen must never be
• Backend: XtratuM
  • Role in the model
  • Ecosystem basis (recorded facts from the M0 baseline)
  • What M2 must produce
  • Documentation discipline
• Backend: XNG
  • What XNG is in the GoMyRobotOS model
  • Why a separate page
  • Status and scope at M0