drivers/ipmi/ocp: Add missing includemain
[coreboot.git] / util / mainboard / google / hatch / template / 
tree1098e31e9e22d094314ec9250cfd3ee2d6709c57
drwxr-xr-x   ..
-rw-r--r-- 146 Makefile.mk
drwxr-xr-x - include
-rw-r--r-- 57 overridetree.cb