From 78c8145d9bc7ed7a16f275dd91fdf18dfa9b16e4 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 10 Sep 2013 20:16:06 +0200
Subject: [PATCH] base-hw: Define CACHE_LINE_SIZE_LOG2 for rpi

---
 base/include/platform/rpi/drivers/board_base.h | 3 +++
 1 file changed, 3 insertions(+)

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 */
 		};
 	};
 }