discover: Integrate ipmi bootdev settings into the priority system
[petitboot] / lib / types /
drwxr-xr-x   ..
-rw-r--r-- 2293 types.h