Quickfix to repair 'make clean; make menuconfig' (trivial).
[coreboot.git] / src / pc80 / ide /
drwxr-xr-x   ..
-rw-r--r-- 13 Config.lb
-rw-r--r-- 26512 ide.c