genode/repos/pc
Stefan Kalkowski 596c20c199 pc: enable SMP and softirq/tasklets in lx_emul
Enables symetric-multi-processor support in the Linux kernel configuration
used as base for the driver ports for PC. This is done to be compliant with
common usage of x86 drivers today.
Moreover, this commit uses the original kernel source for softirq/tasklet
implementation to get rid of the insufficient shadow implementation
in the lx_emul sources.

Ref genodelabs/genode#4562
2022-08-10 13:33:02 +02:00
..
lib pc: enable SMP and softirq/tasklets in lx_emul 2022-08-10 13:33:02 +02:00
recipes pc: enable SMP and softirq/tasklets in lx_emul 2022-08-10 13:33:02 +02:00
run pc: add linux driver timer test 2022-08-10 13:33:01 +02:00
src pc: enable SMP and softirq/tasklets in lx_emul 2022-08-10 13:33:02 +02:00
README Introduce pc repository for PC board support 2022-02-15 10:23:16 +01:00

               ================================
               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.