#define PLATFORM_H
#include <types/types.h>
+#include <param_list/param_list.h>
struct platform {
const char *name;
/* configuration interface */
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_all(struct config *config, const struct param_list *pl);
-/* for use by the platform-specific storage code */
-void config_set_defaults(struct config *config);
+void params_update_network_values(struct param_list *pl,
+ const char *param_name, const struct config *config);
+void params_update_bootdev_values(struct param_list *pl,
+ const char *param_name, const struct config *config);
#define __platform_ptrname(_n) __platform_ ## _n
#define _platform_ptrname(_n) __platform_ptrname(_n)