This patch fixes the option rom code that was buggy when it switched
[coreboot.git] / src / devices / oprom /
drwxr-xr-x   ..
-rw-r--r-- 1041 Makefile.inc
drwxr-xr-x - include
-rw-r--r-- 10819 x86.c
-rw-r--r-- 9267 x86_asm.S
-rw-r--r-- 5661 x86_interrupts.c
drwxr-xr-x - x86emu
drwxr-xr-x - yabel