Xen Documentation - launch

• launch
• Hyperlaunch Design Document
• Xen Hyperlaunch Device Tree Bindings