mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-18 21:27:56 +00:00
6f5bcd4446
The driver code may allocate framebuffers which do not fit in the aperture. Trying to use such framebuffer may lead to only partial visible content on the screen and the rest either black or garbage. Instead check for this circumstance and deny to use such framebuffers and release them, since the user would get an unusable/hard to interpret state. Additionally, release the vma mappings earlier in order to reduce the likelihood of such un-mappable framebuffers. Issue #5377 |
||
|---|---|---|
| .. | ||
| lib | ||
| recipes | ||
| run | ||
| sculpt/deploy | ||
| src | ||
| README | ||
================================
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.