+static void set_ipmi_bootdev(struct config *config, enum ipmi_bootdev bootdev)
+{
+ switch (bootdev) {
+ case IPMI_BOOTDEV_NONE:
+ break;
+ case IPMI_BOOTDEV_DISK:
+ set_exclusive_devtype(config, DEVICE_TYPE_DISK);
+ break;
+ case IPMI_BOOTDEV_NETWORK:
+ set_exclusive_devtype(config, DEVICE_TYPE_NETWORK);
+ break;
+ case IPMI_BOOTDEV_CDROM:
+ set_exclusive_devtype(config, DEVICE_TYPE_OPTICAL);
+ break;
+ case IPMI_BOOTDEV_SETUP:
+ config->autoboot_enabled = false;
+ break;
+ case IPMI_BOOTDEV_SAFE:
+ config->autoboot_enabled = false;
+ config->safe_mode = true;
+ break;
+ }
+}
+