Too late for fixing it - but of course I meant https://www.qubes-os.org/