drivers/ipmi/ocp: Add missing includemain
[coreboot.git] / src / mainboard / system76 / whl-u / variants / galp3-c / 
tree57eea0a5e8f54a68ea8001c5932e295c2bc15b9a
drwxr-xr-x   ..
-rw-r--r-- 20 board_info.txt
-rw-r--r-- 4608 data.vbt
-rw-r--r-- 1059 hda_verb.c
-rw-r--r-- 197 overridetree.cb