Outline for Linux VMM