Xen Documentation - design-reqs

• design-reqs
• Generic Timer