mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-07 11:27:29 +00:00
d324331325
Instead of each driver providing its own header file use a central header as the initcall order header should cover _all_ provided initcalls resulting from the used 'pc_linux' kernel config. Note that the 'pc_linux' configuration was extended with the 'USB_USBNET' option because the module's initcall is needed for the Genode C API for USB glue-code and the 'PACKET' option needed by the wireless lan driver. The lack of theses options was not noticed as each driver used its own initcall header so far that stemmed from the initial porting effort. Issue #4500.
================================
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.