Re: Wifi drivers in Sculpt OS

Hello Colin, On Thu, Jan 23, 2020 at 10:17:26PM -0500, Colin Parker wrote: > Hello, >I am new to Genode/Sculpt and have been trying to get it working on my > somewhat old Mac Mini. I eventually succeeded to make it boot, by disabling > some unnecessary drivers like PS2. wow, that's cool to he

Wifi drivers in Sculpt OS

Hello, I am new to Genode/Sculpt and have been trying to get it working on my somewhat old Mac Mini. I eventually succeeded to make it boot, by disabling some unnecessary drivers like PS2. However, wifi doesn't work, and I would like that feature. There is an internal wifi card in the computer t

Re: Roadmap 2020

Hi John, A quick 'find . -name *.xsd*' reveals: ./base/xsd/base_types.xsd ./libports/src/app/sntp_client/config.xsd ./os/src/init/config.xsd ./os/src/server/nic_dump/config.xsd ./os/src/server/nic_router/config.xsd ./os/src/server/nic_bridge/config.xsd ./os/src/app/trace_logger/config.xsd ./os/sr