secc
/
seL4_projects_libs
mirror of https://github.com/seL4/seL4_projects_libs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4_projects_libs/libsel4bga
History
Gerwin Klein 46f6dc9c0c remove obsolete LICENSE_* files 
These are already covered by the LICENSES/ directory and SPDX
identifiers.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 		2025-05-26 09:59:17 +02:00
..
arch_include/x86/bga Convert to SPDX license tags 2020-11-28 17:19:21 +11:00
src/arch-x86 Convert to SPDX license tags 2020-11-28 17:19:21 +11:00
CMakeLists.txt Convert to SPDX license tags 2020-11-28 17:19:21 +11:00
README.md Convert to SPDX license tags 2020-11-28 17:19:21 +11:00

README.md

Overview

What you are looking at is a very basic driver for the Bochs Graphics Adaptor, hereafter referred to as BGA. This device is available under QEMU when you pass the command line option "-vga std". The driver has some limitations, such as no support for banked mode which would increase performance.

There's currently only support for IA32 (is the BGA even available as a device under ARM?).

TODO

  • Some example code of how to use this driver.