coreboot-kgpe-d16/util/vgabios
..
include
.gitignore
description.md
device.c util: Add SPDX header, replacing boiler plate where applicable 2020-05-11 17:11:59 +00:00
Makefile
pci-userspace.c
pci-userspace.h
testbios.c
testbios.h