diff options
| author | Nico Huber <nico.huber@secunet.com> | 2016-10-09 12:12:52 +0200 |
|---|---|---|
| committer | Nico Huber <nico.h@gmx.de> | 2016-10-29 01:34:45 +0200 |
| commit | e09f8acdade523bc8b2ea400acf46b8cca6e4478 (patch) | |
| tree | 0ec966fdc3f7def6d02c1938ee40d852996be4a4 /src/Kconfig | |
| parent | d011b6b8325680f3cccca87a685663f5f3b8be88 (diff) | |
| download | coreboot-e09f8acdade523bc8b2ea400acf46b8cca6e4478.tar.xz | |
Set up 3rdparty/libhwbase
`libhwbase` is a SPARK library that contains some basic support for i/o
access, debugging, timers. Just what I put around `libgfxinit`, to make
it build standalone.
Change-Id: I1918680c14696215522e1c5dae072235bb4e71a3
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.coreboot.org/16948
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'src/Kconfig')
0 files changed, 0 insertions, 0 deletions