Hello Ben,
On Thu, Nov 30, 2017 at 12:05:12AM -0700, Nobody III wrote:
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.
This will be addressed by a fix for issue #2541
https://github.com/genodelabs/genode/issues/2541
Greets