Implementation of virtos