Extra content for the Pragmatic Virtualization manual