ui/ncurses: Display current ipmi bootdev settings

[petitboot] / discover / ipmi.h

diff --git a/discover/ipmi.h b/discover/ipmi.h
index 83f29107e276ef5545d0288c4acf5f90eabb18bd..3b11683c0cbdb7ce7fcd7641bfccc3abef89acfb 100644 (file)
--- a/discover/ipmi.h
+++ b/discover/ipmi.h
@@ -4,6 +4,8 @@
 #include <stdbool.h>
 #include <stdint.h>
 
+#include <types/types.h>
+
 enum ipmi_netfn {
        IPMI_NETFN_CHASSIS      = 0x0,
        IPMI_NETFN_SE           = 0x04,
@@ -15,15 +17,6 @@ enum ipmi_cmd {
        IPMI_CMD_SENSOR_SET                             = 0x30,
 };
 
-enum ipmi_bootdev {
-       IPMI_BOOTDEV_NONE = 0x00,
-       IPMI_BOOTDEV_NETWORK = 0x01,
-       IPMI_BOOTDEV_DISK = 0x2,
-       IPMI_BOOTDEV_SAFE = 0x3,
-       IPMI_BOOTDEV_CDROM = 0x5,
-       IPMI_BOOTDEV_SETUP = 0x6,
-};
-
 enum ipmi_sensor_ids {
        IPMI_SENSOR_ID_OS_BOOT          = 0x1F,
 };