discover/platform-powerpc: read bootdev config from IPMI boot mailbox
[petitboot] / discover / platform.h
index f7d3d1c48324161f5ebf62fe6f3cce38c1b0a906..5a5c9907d04679ddeb5c98c1318423398d4d53f9 100644 (file)
@@ -31,6 +31,8 @@ const struct config *config_get(void);
 int config_set(struct config *config);
 void config_set_defaults(struct config *config);
 void config_set_autoboot(bool autoboot_enabled);
+void config_populate_bootdev(struct config *config,
+       const struct param_list *pl);
 void config_populate_all(struct config *config, const struct param_list *pl);
 
 void params_update_network_values(struct param_list *pl,