DEVICE_TYPE_UNKNOWN,
};
+const char *device_type_display_name(enum device_type type);
+const char *device_type_name(enum device_type type);
+enum device_type find_device_type(const char *str);
+
struct device {
char *id;
enum device_type type;
enum device_type type;
};
+struct autoboot_option {
+ enum {
+ BOOT_DEVICE_TYPE,
+ BOOT_DEVICE_UUID
+ } boot_type;
+ union {
+ enum device_type type;
+ char *uuid;
+ };
+};
+
struct config {
bool autoboot_enabled;
unsigned int autoboot_timeout_sec;
struct network_config network;
+
struct boot_priority *boot_priorities;
unsigned int n_boot_priorities;
+
char *boot_device;
+
+ unsigned int ipmi_bootdev;
+ bool ipmi_bootdev_persistent;
+
+ char *lang;
+
+ /* not user-settable */
+ bool safe_mode;
+ bool debug;
};
#endif /* _TYPES_H */