mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-01 07:00:55 +00:00
728ea95857
Don't try to decide based on the hardware state, in which mode a connector is used. If a previous configuration failed, e.g. -ENOSPC, the detection whether the mirrored framebuffer is in use may fail and the connectors are reported wrongly as discrete. During modeset traversal take the appropriate lock to synchronize irq and user task, which may be de-scheduled by Linux code when invoking contrib code. Issue #5377
================================
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.