new file mode 100644
@@ -0,0 +1,69 @@
+/*
+ * SPDX-License-Identifier: BSD-2-Clause
+ *
+ * Copyright (c) 2025 SiFive Inc.
+ */
+
+#ifndef __CACHE_H__
+#define __CACHE_H__
+
+#include <sbi/sbi_list.h>
+#include <sbi/sbi_types.h>
+
+#define CACHE_NAME_LEN 32
+
+struct cache_device;
+
+struct cache_ops {
+ /** Warm init **/
+ int (*warm_init)(struct cache_device *dev);
+ /** Flush entire cache **/
+ int (*cache_flush_all)(struct cache_device *dev);
+};
+
+struct cache_device {
+ /** Name of the device **/
+ char name[CACHE_NAME_LEN];
+ /** List node for search **/
+ struct sbi_dlist node;
+ /** Point to the next level cache **/
+ struct cache_device *next;
+ /** Cache Management Operations **/
+ struct cache_ops *ops;
+ /** CPU private cache **/
+ bool cpu_private;
+ /** The unique id of this cache device **/
+ u32 id;
+};
+
+/**
+ * Find a registered cache device
+ *
+ * @param id unique ID of the cache device
+ *
+ * @return the cache device or NULL
+ */
+struct cache_device *cache_find(u32 id);
+
+/**
+ * Register a cache device
+ *
+ * cache_device->id must be initialized already and must not change during the life
+ * of the cache_device object.
+ *
+ * @param dev the cache device to register
+ *
+ * @return 0 on success, or a negative error code on failure
+ */
+int cache_add(struct cache_device *dev);
+
+/**
+ * Flush the entire cache
+ *
+ * @param dev the cache to flush
+ *
+ * @return 0 on success, or a negative error code on failure
+ */
+int cache_flush_all(struct cache_device *dev);
+
+#endif
@@ -2,6 +2,8 @@
menu "Utils and Drivers Support"
+source "$(OPENSBI_SRC_DIR)/lib/utils/cache/Kconfig"
+
source "$(OPENSBI_SRC_DIR)/lib/utils/cppc/Kconfig"
source "$(OPENSBI_SRC_DIR)/lib/utils/fdt/Kconfig"
new file mode 100644
@@ -0,0 +1,9 @@
+# SPDX-License-Identifier: BSD-2-Clause
+
+menu "Cache Support"
+
+config CACHE
+ bool "Cache support"
+ default n
+
+endmenu
new file mode 100644
@@ -0,0 +1,46 @@
+/*
+ * SPDX-License-Identifier: BSD-2-Clause
+ *
+ * Copyright (c) 2025 SiFive Inc.
+ */
+
+#include <sbi/sbi_error.h>
+#include <sbi_utils/cache/cache.h>
+
+static SBI_LIST_HEAD(cache_list);
+
+struct cache_device *cache_find(u32 id)
+{
+ struct cache_device *dev;
+
+ sbi_list_for_each_entry(dev, &cache_list, node) {
+ if (dev->id == id)
+ return dev;
+ }
+
+ return NULL;
+}
+
+int cache_add(struct cache_device *dev)
+{
+ if (!dev)
+ return SBI_ENODEV;
+
+ if (cache_find(dev->id))
+ return SBI_EALREADY;
+
+ sbi_list_add(&dev->node, &cache_list);
+
+ return SBI_OK;
+}
+
+int cache_flush_all(struct cache_device *dev)
+{
+ if (!dev)
+ return SBI_ENODEV;
+
+ if (!dev->ops || !dev->ops->cache_flush_all)
+ return SBI_ENOTSUPP;
+
+ return dev->ops->cache_flush_all(dev);
+}
new file mode 100644
@@ -0,0 +1,7 @@
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+# Copyright (c) 2025 SiFive
+#
+
+libsbiutils-objs-$(CONFIG_CACHE) += cache/cache.o