From a1effc5ad8ad88ad88c2bed6318519eae6e26a66 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 9 Sep 2013 22:21:03 +0200
Subject: [PATCH] make Attached_ram_dataspace::local_addr const

---
 os/include/os/attached_ram_dataspace.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/os/include/os/attached_ram_dataspace.h b/os/include/os/attached_ram_dataspace.h
index 8c63801ba1..52dc0faa02 100644
--- a/os/include/os/attached_ram_dataspace.h
+++ b/os/include/os/attached_ram_dataspace.h
@@ -116,7 +116,7 @@ namespace Genode {
 			 * untyped memory anyway.
 			 */
 			template <typename T>
-			T *local_addr() { return static_cast<T *>(_local_addr); }
+			T *local_addr() const { return static_cast<T *>(_local_addr); }
 
 			/**
 			 * Return size