config: Add boot_device member to config

[petitboot] / lib / pb-config / pb-config.h

diff --git a/lib/pb-config/pb-config.h b/lib/pb-config/pb-config.h
index e430301f0381d509d6126b9a462bcc60723f2be1..2bcc251a47bee565798b4574131755ee17064254 100644 (file)
--- a/lib/pb-config/pb-config.h
+++ b/lib/pb-config/pb-config.h
@@ -1,22 +1,9 @@
-#ifndef CONFIGURATION_H
-#define CONFIGURATION_H
-
-#include <stdbool.h>
-#include <stdint.h>
+#ifndef PB_CONFIG_H
+#define PB_CONFIG_H
 
 #include <types/types.h>
 
-
-int config_init(void *ctx);
-const struct config *config_get(void);
-int config_set(struct config *config);
-void config_set_autoboot(bool autoboot_enabled);
-int config_fini(void);
-
-/* for use by the storage backends */
-void config_set_defaults(struct config *config);
-
 struct config *config_copy(void *ctx, const struct config *src);
 
-#endif /* CONFIGURATION_H */
+#endif /* PB_CONFIG_H */