Alright; neat. Last time I tried Genode it didn't run in QEMU for whatever reason so I have to go on the documentation.

So how does the real-world performance compare? That's what I'm interested in, because I keep hearing "performance is not an issue" and every time I ask for details, measurements, or something I never really get an answer.