Hello:
What is the current scope of driver support in Genode 17.08 for the peripheral devices on the Wand-Quad board?
- Ethernet (Atheros)? - USB controllers? - Wi-Fi (Broadcom)? - Bluetooth (Broadcom)? - Vivante GPUs / framebuffer? - SDIO? - GPIO?
Anybody currently working on these?