discover/platform-powerpc: read bootdev config from IPMI boot mailbox

[petitboot] / lib / types / types.h

diff --git a/lib/types/types.h b/lib/types/types.h
index 39760d91848d150b9c01cc50bc609f77d2ceaf14..9d83d87dee748f4b3553759285424167e2e858af 100644 (file)
--- a/lib/types/types.h
+++ b/lib/types/types.h
@@ -188,6 +188,7 @@ struct config {
 
        unsigned int            ipmi_bootdev;
        bool                    ipmi_bootdev_persistent;
+       bool                    ipmi_bootdev_mailbox;
 
        char                    *http_proxy;
        char                    *https_proxy;