discover: Add ipmi module

[petitboot] / discover / ipmi.h

diff --git a/discover/ipmi.h b/discover/ipmi.h
new file mode 100644 (file)
index 0000000..0ed6068
--- /dev/null
+++ b/discover/ipmi.h
@@ -0,0 +1,18 @@
+#ifndef _IPMI_H
+#define _IPMI_H
+
+#include <stdbool.h>
+#include <stdint.h>
+
+enum ipmi_bootdev {
+       IPMI_BOOTDEV_NONE = 0x0,
+       IPMI_BOOTDEV_NETWORK = 0x1,
+       IPMI_BOOTDEV_DISK = 0x2,
+       IPMI_BOOTDEV_SAFE = 0x3,
+       IPMI_BOOTDEV_CDROM = 0x5,
+       IPMI_BOOTDEV_SETUP = 0x6,
+};
+
+bool ipmi_present(void);
+
+#endif /* _IPMI_H */