Re: microkernel as an instance in oracle virtual box