+
+ if (config->boot_device)
+ pb_log(" boot device %s\n", config->boot_device);
+
+ if (config->n_boot_priorities)
+ pb_log(" boot priority order:\n");
+
+ for (i = 0; i < config->n_boot_priorities; i++) {
+ struct boot_priority *prio = &config->boot_priorities[i];
+ pb_log(" %10s: %d\n", device_type_name(prio->type),
+ prio->priority);
+ }
+
+ pb_log(" IPMI boot device 0x%02x%s\n", config->ipmi_bootdev,
+ config->ipmi_bootdev_persistent ? " (persistent)" : "");
+
+
+ pb_log(" language: %s\n", config->lang ?: "");
+}
+
+static bool config_debug_on_cmdline(void)
+{
+ char buf[600];
+ int rc, fd;
+
+ fd = open("/proc/cmdline", O_RDONLY);
+ if (fd < 0)
+ return false;
+
+ rc = read(fd, buf, sizeof(buf));
+ close(fd);
+
+ if (rc <= 0)
+ return false;
+
+ return memmem(buf, rc, kernel_cmdline_debug,
+ strlen(kernel_cmdline_debug)) != NULL;