for (i = 0; i < config->network.n_dns_servers; i++)
pb_log(" dns server %s\n", config->network.dns_servers[i]);
+ if (config->boot_device)
+ pb_log(" boot device %s\n", config->boot_device);
+
if (config->n_boot_priorities)
pb_log(" boot priority order:\n");
return platform;
}
+void platform_finalise_config(void)
+{
+ if (platform && platform->finalise_config)
+ platform->finalise_config(platform);
+}
+
int platform_get_sysinfo(struct system_info *info)
{
if (platform && platform->get_sysinfo)