Xen Documentation - design-reqs

• design-reqs
• generic-timer
• hypercall
• sbsa-uart
• version_hypercall
• version_hypercall