4 files changed, 82 insertions, 0 deletions
diff --git a/src/drivers/ipmi/ocp/Kconfig b/src/drivers/ipmi/ocp/Kconfig
new file mode 100644
index 0000000000..7899e69588
--- /dev/null
+++ b/src/drivers/ipmi/ocp/Kconfig
@@ -0,0 +1,5 @@
+config IPMI_OCP
+	bool
+	default n
+	help
+	  This implements OCP specific IPMI command
diff --git a/src/drivers/ipmi/ocp/Makefile.inc b/src/drivers/ipmi/ocp/Makefile.inc
new file mode 100644
index 0000000000..8291f82677
--- /dev/null
+++ b/src/drivers/ipmi/ocp/Makefile.inc
@@ -0,0 +1 @@
+ramstage-$(CONFIG_IPMI_OCP) += ipmi_ocp.c
diff --git a/src/drivers/ipmi/ocp/ipmi_ocp.c b/src/drivers/ipmi/ocp/ipmi_ocp.c
new file mode 100644
index 0000000000..1866708f10
--- /dev/null
+++ b/src/drivers/ipmi/ocp/ipmi_ocp.c
@@ -0,0 +1,70 @@
+/* SPDX-License-Identifier: GPL-2.0-or-later */
+/*
+ * Place in devicetree.cb:
+ *
+ * chip drivers/ipmi/ocp # OCP specific IPMI porting
+	device pnp ca2.1 on end
+ * end
+ */
+
+#include <console/console.h>
+#include <device/device.h>
+#include <device/pnp.h>
+#include "chip.h"
+#include "drivers/ipmi/ipmi_kcs.h"
+#include "ipmi_ocp.h"
+
+static void ipmi_ocp_init(struct device *dev)
+{
+	/* Add OCP specific IPMI command */
+}
+
+static void ipmi_ocp_final(struct device *dev)
+{
+	/* Add OCP specific IPMI command */
+}
+
+static void ipmi_set_resources(struct device *dev)
+{
+	struct resource *res;
+
+	for (res = dev->resource_list; res; res = res->next) {
+		if (!(res->flags & IORESOURCE_ASSIGNED))
+			continue;
+
+		res->flags |= IORESOURCE_STORED;
+		report_resource_stored(dev, res, "");
+	}
+}
+
+static void ipmi_read_resources(struct device *dev)
+{
+	struct resource *res = new_resource(dev, 0);
+	res->base = dev->path.pnp.port;
+	res->size = 2;
+	res->flags = IORESOURCE_IO | IORESOURCE_ASSIGNED | IORESOURCE_FIXED;
+}
+
+static struct device_operations ops = {
+	.read_resources   = ipmi_read_resources,
+	.set_resources    = ipmi_set_resources,
+	.init             = ipmi_ocp_init,
+	.final            = ipmi_ocp_final,
+};
+
+static void enable_dev(struct device *dev)
+{
+	if (dev->path.type != DEVICE_PATH_PNP)
+		printk(BIOS_ERR, "%s: Unsupported device type\n",
+		       dev_path(dev));
+	else if (dev->path.pnp.port & 1)
+		printk(BIOS_ERR, "%s: Base address needs to be aligned to 2\n",
+		       dev_path(dev));
+	else
+		dev->ops = &ops;
+}
+
+struct chip_operations drivers_ipmi_ocp_ops = {
+	CHIP_NAME("IPMI OCP")
+	.enable_dev = enable_dev,
+};
diff --git a/src/drivers/ipmi/ocp/ipmi_ocp.h b/src/drivers/ipmi/ocp/ipmi_ocp.h
new file mode 100644
index 0000000000..9aebbe9f5a
--- /dev/null
+++ b/src/drivers/ipmi/ocp/ipmi_ocp.h
@@ -0,0 +1,6 @@
+/* SPDX-License-Identifier: GPL-2.0-or-later */
+
+#ifndef __IPMI_OCP_H
+#define __IPMI_OCP_H
+
+#endif