discover/platform-powerpc: Set IPMI OS boot sensor

[petitboot] / discover / dt.h

diff --git a/discover/dt.h b/discover/dt.h
new file mode 100644 (file)
index 0000000..4692d04
--- /dev/null
+++ b/discover/dt.h
@@ -0,0 +1,8 @@
+#ifndef _DT_H
+#define _DT_H
+
+#include "ipmi.h"
+
+int get_ipmi_sensor(void *t, enum ipmi_sensor_ids sensor_id);
+
+#endif /* _IPMI_H */