From 7d419893f9239c0ec9ae0ab6d75f71b3418a91f2 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 12 Jun 2012 14:37:00 +0200
Subject: [PATCH] ARM stack alignment

Align the stack on a 16-byte boundary as on the x86_32 platform.

Fixes #236.
---
 base/src/platform/arm/crt0.s | 1 +
 1 file changed, 1 insertion(+)

diff --git a/base/src/platform/arm/crt0.s b/base/src/platform/arm/crt0.s
index 4275bb8dac..ab06a3b29c 100644
--- a/base/src/platform/arm/crt0.s
+++ b/base/src/platform/arm/crt0.s
@@ -29,6 +29,7 @@ __dso_handle:
 /*--- .bss (non-initialized data) ------------------*/
 .section ".bss"
 
+	.p2align 4
 	.globl	_stack_low
 _stack_low:
 	.space	64*1024