KRACK vulnerability

A security vulnerability (KRACK) was recently discovered in WPA2. This affects almost all devices and operating systems, including Genode. In particular, unpatched versions of wpa_supplicant are affected, so wifi_drv needs an updated/patched version to be reasonably secure.

Genode App Virtualization Vs Qubes XEN HVM

I am new here. Very interested in Genode. am a current qubes os user. But I am wondering what the difference is between how genode virtualizes and how qubes does it. I understand that Virtualbox is working on Genode, but what about hardware virtualization like in qubes? What interests me is t