Been playing around with it in a VM (VMware Workstation) on my desktop (Ryzen 5xxx series) today. It's not super straight forward to get running in VMware, as

Been playing around with it in a VM (VMware Workstation) on my desktop (Ryzen 5xxx series) today. It's not super straight forward to get running in VMware, as the instructions on the Genode page are for using an .ova file with VirtualBox. That same .ova file errors out with VMware though. But pulling it apart (seems like a renamed .tar file) gives two VMware disk images (.vmdk), the 2nd of which boots Genode fine. Now I'm just trying to figure out Genode itself. Looks like it'll work though. :) --- And for something different, here's DOOM running on the Pinephone under Genode: https://genode.org/files/doom_pinephone.mp4 https://genode.org/files/doom_pinephone.mp4