coreboot-kgpe-d16/util/vgabios
Stefan Reinauer 8d7115560d Rename devices -> device
to match src/include/device

Change-Id: I5d0e5b4361c34881a3b81347aac48738cb5b9af0
Signed-off-by: Stefan Reinauer <reinauer@google.com>
Reviewed-on: http://review.coreboot.org/1960
Tested-by: build bot (Jenkins)
Reviewed-by: David Hendricks <dhendrix@chromium.org>
2012-11-30 23:59:58 +01:00
..
include
Makefile
helper_exec.c
helper_exec.h
helper_mem.c this is probably in vain because this tool should use the same x86emu as 2009-10-16 01:08:07 +00:00
int1a.c
int10.c use Paulo's reduced version 2005-01-11 03:18:39 +00:00
int15.c
int16.c
inte6.c added testbios for V2 2004-07-08 17:18:27 +00:00
pci-userspace.c util/vgabios: build/warning fixes. 2009-05-27 11:39:16 +00:00
pci-userspace.h
pci.h
test.h Use coreboot-internal version of x86emu for the vgabios utility. 2010-03-23 15:53:38 +00:00
testbios.c