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;
unsigned int n_dns_servers;
};
-struct boot_priority {
- /* Boot options with higher priority values will take precedence over
- * lower values. Negative priorities signify "don't boot this by
- * default".
- */
- int priority;
- 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;
- bool safe_mode;
struct network_config network;
- struct boot_priority *boot_priorities;
- unsigned int n_boot_priorities;
- char *boot_device;
+
+ struct autoboot_option *autoboot_opts;
+ unsigned int n_autoboot_opts;
+
+ unsigned int ipmi_bootdev;
+ bool ipmi_bootdev_persistent;
+
+ char *lang;
+
+ /* not user-settable */
+ bool safe_mode;
+ bool debug;
};
#endif /* _TYPES_H */