The Simplest Xen Kernel

Signed-off-by: Xu Quan <quan.xu@intel.com>