Xen Documentation - design-reqs

• design-reqs
• Hypercall
• SBSA UART
• generic-timer
• version_hypercall
• version_hypercall