https://digitalixy.recmg.com/tech/maude/get-windows-on-linux-in-10-minutes-with-quickemu/