base-hw: Define CACHE_LINE_SIZE_LOG2 for rpi

2013-09-10 20:16:06 +02:00 · 2013-09-10 20:16:06 +02:00 · 78c8145d9b
parent 46ee8241b4
commit 78c8145d9b
1 changed files with 3 additions and 0 deletions
--- 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 */
 		};
 	};
 }