Navigation : Quick Start with Windows Guest Quick Start with Linux Guest Step by Step - Install Xen With XSM FLASK Policy - Configure TinyVMI -- Update XSM FLASK Policy -- Update Stubdom Makefile -- Update Mini-OS Makefile -- Get Target Guest Info (Linux) -- Configure TinyVMI with Target Info - Build and Run TinyVMI 404 Page not found Error Woops. Looks like this page doesn't exist. Go to homepage