Re: Wifi drivers in Sculpt OS

2020-02-22 Thread Colin Parker
Hi Stefan, whether networking works for the depot. I've prepared an untested > commit, which you could test out in your scenario by rebuilding the > sculpt_manager. Here is the commit: > > > https://github.com/skalk/genode/commit/1eec61843905ef85c12be08c8405f7a04741a3f7 > > You can rebuild your sc

Re: Wifi drivers in Sculpt OS

2020-02-12 Thread Stefan Kalkowski
Hi Colin, On Wed, Feb 12, 2020 at 04:28:10AM +, Colin Parker wrote: > Hi Stefan, > Thank you so much! > you are more than welcome ;-) > > > > I think in case of networking, you can expose the network facility of > > the guest OS, which uses the dedicated USB-Wifi card, via the virtual >

Re: Wifi drivers in Sculpt OS

2020-02-11 Thread Colin Parker
Hi Stefan, Thank you so much! > > I think in case of networking, you can expose the network facility of > the guest OS, which uses the dedicated USB-Wifi card, via the virtual > NIC provided by Virtualbox. The nic_router component in Genode should > be able to mark the domain of your guest OS

Re: Wifi drivers in Sculpt OS

2020-01-27 Thread Stefan Kalkowski
Hi Colin, On Mon, Jan 27, 2020 at 11:15:54AM +0100, Josef Söntgen wrote: > Hi Colin, > > > Another thought that came to me is whether Sculpt VMs can do USB > > passthrough, and then I could run a Linux VM which will have the drivers. > > Is that possible? Could the network connection make it's wa

Re: Wifi drivers in Sculpt OS

2020-01-27 Thread Josef Söntgen
Hi Colin, > Another thought that came to me is whether Sculpt VMs can do USB > passthrough, and then I could run a Linux VM which will have the drivers. > Is that possible? Could the network connection make it's way out of the VM? You can use USB passthrough on Sculpt, most prominently it is used

Re: Wifi drivers in Sculpt OS

2020-01-24 Thread Colin Parker
Thanks for your response. > Since the current driver is somewhat entangled the first step would be > the refactoring of the current implementation, i.e., separating its > various parts a bit into > > - component frontend (basically the Nic session provding part) > - wireless stack (mac80211,

Re: Wifi drivers in Sculpt OS

2020-01-24 Thread Josef Söntgen
Hello Colin, > On Thu, Jan 23, 2020 at 10:17:26PM -0500, Colin Parker wrote: > […] > Is bringing drivers over a pretty simple process like copying a few > files or is it an extensive effort? Thanks in advance for your > suggestions. As Stefan already pointed out, unfortunately it indeed is a more

Re: Wifi drivers in Sculpt OS

2020-01-23 Thread Stefan Kalkowski
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

2020-01-23 Thread Colin Parker
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