Partition Contract

The normative contract between GoMyRobotOS and the partitions that run on it: overview, specification, machine-readable schema, and a worked example.

• Partition Contract Overview
  • Where the contract sits
  • What this section contains
  • Channel semantics
  • Capability requirements
  • Two rules to remember
  • Status
• Partition Contract v1 Specification
  • 1. Identity
  • 2. Execution
  • 3. Memory
  • 4. Devices, interrupts, DMA
  • 5. Communication
  • 6. Startup
  • 7. Security
  • 8. Recovery
  • 9. Requirements and verification
  • Non-goals of the contract
• Partition Contract v1 Schema
  • Location
  • Format
  • What the schema enforces today
  • How the schema is validated
• Example contract: flight-control
  • Why each group matters