drivers/ipmi/ocp: Add missing includemain
[coreboot.git] / src / drivers / generic / cbfs-serial / 
tree42d7712159947de00e5232e76e716c14c207e012
drwxr-xr-x   ..
-rw-r--r-- 215 Kconfig
-rw-r--r-- 106 Makefile.mk
-rw-r--r-- 597 cbfs-serial.c