Xen Micro Paravirtualized Guest to load a small independent OS