Requirements documentation

• Requirements Introduction Document
  • Assumption of Use
  • Title of the requirement
• Functional Requirements
  • Run Arm64 domains
  • Provide timer to the domains
  • Provide console to the domains
  • Static VM definition
  • Multiple schedulers
• Domain Creation And Runtime
  • Kernel command line arguments
  • Ramdisk
  • Memory
  • vCPUs
  • Credit2 CPU pool scheduler
  • NUL CPU pool scheduler
  • Assign iomem
  • Forward interrupts
• Domain Creation And Runtime
  • Emulated Timer
  • Emulated UART
  • Linux kernel image
  • Gzip Linux kernel image
  • Kernel with uImage header
  • Gzip kernel with uImage header
  • SPIs
  • Virtual PL011
• Generic Timer
  • Probe the Generic Timer device tree node from a domain
  • Read system counter frequency
  • Access CNTKCTL_EL1 system register from a domain
  • Access virtual timer from a domain
  • Access physical timer from a domain
  • Trigger the virtual timer interrupt from a domain
  • Trigger the physical timer interrupt from a domain
• Assumption of Use on the Platform
  • Expose system timer frequency via register
• SBSA UART
  • Probe the UART device tree node from a domain
  • Transmit data in software polling mode
  • Transmit data in interrupt driven mode
  • Receive data in software polling mode
  • Receive data in interrupt driven mode
  • Access UART data register
  • Access UART receive status register
  • Access UART flag register
  • Access UART mask set/clear register
  • Access UART raw interrupt status register
  • Access UART masked interrupt status register
  • Access UART interrupt clear register
  • Receive UART TX interrupt
  • Receive UART RX interrupt reception