Virtualization for Intel-based Systems