diff --git a/base/include/platform/rpi/drivers/board_base.h b/base/include/platform/rpi/drivers/board_base.h
index c4e886d0c..c6a48e0c6 100644
--- a/base/include/platform/rpi/drivers/board_base.h
+++ b/base/include/platform/rpi/drivers/board_base.h
@@ -49,6 +49,9 @@ namespace Genode
 			IRQ_CONTROLLER_SIZE = 0x100,
 
 			SECURITY_EXTENSION = 0,
+
+			/* CPU cache */
+			CACHE_LINE_SIZE_LOG2 = 2, /* FIXME get correct value from board spec */
 		};
 	};
 }