mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
Due to lacking hardware access the driver was test with one RTL8188EE based device, namely [10ec:8179] (rev 01), only. As the access to the PCI config space is restricted the driver loads the non power-saving FW and the driver port is therefor only tested with that. The accesses are documented should we choose to support them one way or another later on. The 'wifi.run' run script as well as Sculpt served as testing ground where the driver worked fine so far. Fixes #4714.
================================
Genode support for x86-based PCs
================================
This repository complements the Genode OS framework (https://genode.org) with
the board support needed to use Genode on devices based on x86 PCs.
License
-------
Genode-specific code is provided under Genode's regular open-source license,
which is AGPLv3 + open-source linking exception. This code is also available
under a commercial license offered by Genode Labs.
For code ported from other projects - e.g., device drivers ported from the
Linux kernel - the license of the originating upstream project applies.
Please refer to the individual file headers for detailed information.