discover/platform-powerpc: read bootdev config from IPMI boot mailbox
[petitboot] / lib / types / types.h
index 39760d91848d150b9c01cc50bc609f77d2ceaf14..9d83d87dee748f4b3553759285424167e2e858af 100644 (file)
@@ -188,6 +188,7 @@ struct config {
 
        unsigned int            ipmi_bootdev;
        bool                    ipmi_bootdev_persistent;
+       bool                    ipmi_bootdev_mailbox;
 
        char                    *http_proxy;
        char                    *https_proxy;