http://dds6qkxpeiqvogt4y2fd7vtsxq6pvokekb2h4la7jd4iwl4ljuawu5qd.onion/wiki/Dev/Technical_Introduction
It is possible to use other virtualization platforms than VirtualBox, e.g. Qubes (which is based on XEN), VMware , KVM , XEN, QEMU , Bochs, etc. (See Dev/Other Virtualization Platforms .). Other operating systems (e.g. Windows; *nix; BSD; etc.) can potentially be used as host and/or guest operating system.