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
• Domain Creation And Runtime
  • Emulated Timer
  • Emulated UART
• 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