diff --git a/base/include/platform/rpi/drivers/board_base.h b/base/include/platform/rpi/drivers/board_base.h
index 439c2b5487..f1b44e11c2 100644
--- a/base/include/platform/rpi/drivers/board_base.h
+++ b/base/include/platform/rpi/drivers/board_base.h
@@ -59,6 +59,11 @@ namespace Genode
 			/* CPU cache */
 			CACHE_LINE_SIZE_LOG2 = 2, /* FIXME get correct value from board spec */
 		};
+
+		enum Videocore_cache_policy { NON_COHERENT = 0,
+		                              COHERENT     = 1,
+		                              L2_ONLY      = 2,
+		                              UNCACHED     = 3 };
 	};
 }