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
int1a.c
int10.c
int15.c use Paulo's reduced version 2005-01-11 03:18:39 +00:00
int16.c
inte6.c
pci-userspace.c
pci-userspace.h
pci.h
test.h
testbios.c