Virtualizing Windows 10 on NOVA

Joel Desermeau joeldesermeau at
Sun Jun 9 03:52:30 CEST 2019

Hello once again my friends :)

I'm thinking about purchasing a new thinkpad for my father as a gift and virtualizing Windows 10 on Genode/NOVA (he's a Windows sysadmin).

I've been studying the run scripts in the ports repo for vbox5 and Windows, but I'm getting no closer to understanding them. I'm usually a RTFM type of guy but I've really hit a wall here and I seem to be going in circles.

What should I name the .iso, where should I put it, and what run script should I use?

Thank you,
Joel Desermeau
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list