Virtualizing Windows 10 on NOVA

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