Hi Colin,
your posting made my day!
Inspired by the recent changes to the Genode driver system, I took another crack a porting the Linux ath9k usb wifi driver.
Thank you very much for the nice feedback about Sculpt 22.10 and for sharing your work about the USB-Wifi driver. It is great to see that our work on the new DDE-Linux pays off.
We really have to tame this pesky PS/2 driver in the next Sculpt version. ;-)
Cheers Norman