Hello John,
thanks for your quick'n'light test and your grateful words. I'm glad it still works for you as expected.
Regarding your build error...
On Thu, Apr 14, 2022 at 04:39:38 CEST, John J. Karcher wrote:
Interestingly, using the commit you referenced, "pkg/pc_usb_host" builds now, but I get the following error in "pkg/wifi":
[Linux] /home/mainuser/Devel/genode_main/genode/depot/genodelabs/api/pc_linux/2022-04-12/src/linux/scripts/extract-cert.c:21:10:
fatal error: openssl/bio.h: No such file or directory [Linux] 21 | #include <openssl/bio.h> [Linux] | ^~~~~~~~~~~~~~~ [Linux] compilation terminated.
Interestingly the Linux kernel build seems to depend on the "libssl-dev" Debian package. After "apt install libssl-dev" the build should succeed.
Best regards