drivers/ipmi/ocp: Add missing includemain
[coreboot.git] / src / mainboard / system76 / whl-u / variants / darp5 / 
treefde05a8bc8a4a73d53e36fa73fb90fee621caa30
drwxr-xr-x   ..
-rw-r--r-- 18 board_info.txt
-rw-r--r-- 4608 data.vbt
-rw-r--r-- 1049 hda_verb.c
-rw-r--r-- 453 overridetree.cb