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 f5392c89c4a7b1715622cf3d7520e956e24ac30b..9d83d87dee748f4b3553759285424167e2e858af 100644 (file)
--- a/lib/types/types.h
+++ b/lib/types/types.h
@@ -54,6 +54,7 @@ struct boot_option {
        char            *boot_args;
        char            *args_sig_file;
        bool            is_default;
+       bool            is_autoboot_default;
 
        struct list_item        list;
 
@@ -187,6 +188,7 @@ struct config {
 
        unsigned int            ipmi_bootdev;
        bool                    ipmi_bootdev_persistent;
+       bool                    ipmi_bootdev_mailbox;
 
        char                    *http_proxy;
        char                    *https_proxy;