+static void finalise_config(struct platform *p, const struct config *config)
+{
+ struct platform_powerpc *platform = to_platform_powerpc(p);
+
+ if (config->ipmi_bootdev_persistent && platform->clear_ipmi_bootdev)
+ platform->clear_ipmi_bootdev(platform);
+}
+
+static int get_sysinfo(struct platform *p, struct system_info *sysinfo)
+{
+ struct platform_powerpc *platform = p->platform_data;
+ char *buf, *filename;
+ int len, rc;
+
+ filename = talloc_asprintf(platform, "%smodel", devtree_dir);
+ rc = read_file(platform, filename, &buf, &len);
+ if (rc == 0)
+ sysinfo->type = talloc_steal(sysinfo, buf);
+ talloc_free(filename);
+
+ filename = talloc_asprintf(platform, "%ssystem-id", devtree_dir);
+ rc = read_file(platform, filename, &buf, &len);
+ if (rc == 0)
+ sysinfo->identifier = talloc_steal(sysinfo, buf);
+ talloc_free(filename);
+
+ return 0;
+}
+