From 4009619206531116b7e81c5923212f17357b66a0 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Tue, 10 Dec 2013 11:26:44 +0100
Subject: [PATCH] base: natural default align in unmanaged singleton

I have no idea where the previous default alignment = 2 in the unsynchronized
singleton came from but as at least the Arndale IC-driver in base-hw needs an
alignment of 4 = address width, unmanaged singleton now uses sizeof(addr_t)
as default alignment.

ref #989
---
 base/src/base/include/unmanaged_singleton.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base/src/base/include/unmanaged_singleton.h b/base/src/base/include/unmanaged_singleton.h
index 24836d226..754bf234b 100644
--- a/base/src/base/include/unmanaged_singleton.h
+++ b/base/src/base/include/unmanaged_singleton.h
@@ -51,7 +51,7 @@ inline void * operator new(Genode::size_t, void * p) { return p; }
  *
  * \return  object pointer
  */
-template <typename T, int ALIGNMENT = 2, typename... ARGS>
+template <typename T, int ALIGNMENT = sizeof(Genode::addr_t), typename... ARGS>
 static inline T * unmanaged_singleton(ARGS... args)
 {
 	/*