Virtual machine software for linux