I think it does already perhaps, http://genodians.org/alex-ab/2019-03-06-disposal-browser-vm http://genodians.org/alex-ab/2019-03-06-disposal-browser-vm discus

I think it does already perhaps, http://genodians.org/alex-ab/2019-03-06-disposal-browser-vm http://genodians.org/alex-ab/2019-03-06-disposal-browser-vm discusses IIUC a disposable firefox instance, running in genode, which is run in either virtual box, or seoul vmm. Similarly some other pages say the easiest way try it is by running genode in virtual box, so I think that covers all the bases no?