Skip to content
Ada Makefile Shell
Branch: master
Clone or download
i-c-o-n gma display_probing: End probing after all ports failed
In case of failure, we kept trying the last port in the list for
further pipelines. Fix that.

Change-Id: Id434492a7186f3b9431fd98dc16c0a7aa0e92501
Signed-off-by: Nico Huber <>
Reviewed-by: Angel Pons <>
Reviewed-by: HAOUAS Elyes <>
Latest commit 4fc6dc2 May 10, 2019
Type Name Latest commit message Commit time
Failed to load latest commit information.
common gma display_probing: End probing after all ports failed Sep 2, 2019
configs gma: Implement automatic CPU detection May 8, 2019
gfxtest gfx_test: Refactor to allow Restrictions (No_Elaboration_Code) Sep 2, 2019
.gitignore Initial upstream commit Oct 9, 2016
Makefile Add linux user-space app `gfx_test` Jun 6, 2017 Add linux user-space app `gfx_test` Jun 6, 2017 gfx_test: Set our own framebuffers up, update README Sep 13, 2017


libgfxinit is a graphics initialization (aka modesetting) library for embedded environments. It currently supports only Intel hardware, more specifically the Intel Core processor line.

It can query and set up most kinds of displays based on their EDID information. You can, however, also specify particular mode lines.

libgfxinit is written in SPARK, an Ada subset with formal verifica- tion aspects. Absence of runtime errors can be proved automatically with SPARK GPL 2016.

Building on Linux


For compilation, the GNAT Ada compiler is required. Usual package names in Linux distributions are gcc-ada and gnat.

Grab the Sources

You'll need libhwbase and libgfxinit. Best is to clone the reposi- tories into a common parent directory (this way libgfxinit will know where to find libhwbase).

$ mkdir gfxfun && cd gfxfun
$ git clone
$ git clone

Configure and Install libhwbase

Both libraries are currently configured by hand-written config files. You can either write your own .config, link one of the shipped files in configs/, e.g.:

$ ln -s configs/linux libhwbase/.config

or overwrite the config filename by specifying cnf=<configfile> on the make command line.

By default most debug messages won't be compiled into the binary. To include them into the build, set DEBUG=1 on the command line or in your .config.

Let's install libhwbase. We'll need configs/linux to build regular Linux executables:

$ cd libhwbase
$ make DEBUG=1 cnf=configs/linux install

By default this installs into a new subdirectory dest. You can however overwrite this decision by specifying DESTDIR=.

Build libgfxinit/gfx_test

libgfxinit is configured and installed in the same manner as de- scribed above. You will have to select a configuration matching your hardware.

The makefile knows an additional target gfx_test to build a small Linux test application:

$ cd ../libgfxinit
$ make DEBUG=1 cnf=configs/sandybridge gfx_test

The resulting binary is build/gfx_test.

Testing libgfxinit on Linux

gfx_test sets up its own framebuffer in the stolen memory. It backs any current framebuffer mapping and contents up first and re- stores it before exiting. This works somehow even while the i915 driver is running. A wrapper script gfxtest/ is pro- vided to help with the setup. It switches to a text console first and tries to unload the i915 driver. But ignores failures to do so (it won't work if you still have any application running that uses the gfx driver, e.g. an X server).

# gfxtest/

If you chose the right config above, you should be presented with a nice test image. But please be prepared that your console might be stuck in that state afterwards. You can try to run it with i915 deactivated then (e.g. when booting with nomodeset in the kernel command line or with i915 blacklisted) and loading it afterwards.

You can’t perform that action at this time.