+void platform_pre_boot(void)
+{
+ const struct config *config = config_get();
+
+ if (platform && config && platform->pre_boot)
+ platform->pre_boot(platform, config);
+}
+
+int platform_get_sysinfo(struct system_info *info)
+{
+ if (platform && platform->get_sysinfo)
+ return platform->get_sysinfo(platform, info);
+ return -1;
+}
+