+static void finalise_config(struct platform *platform __attribute__((unused)))
+{
+ /* invalidate next-boot-device setting */
+ write_bootdev_sysparam("next-boot-device", 0xff);
+}
+
+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;
+}
+