From 927af36c5881cb6c84040834820c5bc1f86c07da Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Mon, 19 May 2014 12:12:28 +0200 Subject: [PATCH] Volatile_object: align the embedded object The space for the embedded object needs to be natively aligned to avoid alignment errors on ARM. Fixes #1149. --- repos/os/include/util/volatile_object.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/os/include/util/volatile_object.h b/repos/os/include/util/volatile_object.h index ab4d2f8aa..01df22d35 100644 --- a/repos/os/include/util/volatile_object.h +++ b/repos/os/include/util/volatile_object.h @@ -43,7 +43,7 @@ class Genode::Volatile_object /** * Static reservation of memory for the embedded object */ - char _space[sizeof(MT)]; + char _space[sizeof(MT)] __attribute__((aligned(sizeof(addr_t)))); /** * True if the volatile object contains a constructed object