Xen Documentation - design-reqs

• design-reqs
• SBSA UART
• generic-timer