coreboot-kgpe-d16/util/vgabios
Stefan Reinauer 9d37532bc1 this is probably in vain because this tool should use the same x86emu as
coreboot in order to produce comparable results. But, this patch drops the 
CONFIG_ from CONFIG_DEBUG because that was added by accident when we
automatically renamed coreboot variables to be consistent. "vgabios" is an
independent userspace utility, and it does not use newconfig nor Kconfig, so
it should not be converted. (trivial)

Signed-off-by: Stefan Reinauer <stepan@coresystems.de>
Acked-by: Stefan Reinauer <stepan@coresystems.de>



git-svn-id: svn://svn.coreboot.org/coreboot/trunk@4782 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1
2009-10-16 01:08:07 +00:00
..
x86emu this is probably in vain because this tool should use the same x86emu as 2009-10-16 01:08:07 +00:00
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
int15.c
int16.c
inte6.c
pci-userspace.c
pci-userspace.h
pci.h
test.h
testbios.c