genode/base/include/x86/cpu
Sebastian Sumpf 433a216919 base: Fix stack pointer alignment for ARM
After some research we found that the stack pointer on ARM platforms must be
at least double word aligned (See: "Procedure Call Standard for the ARM
Architecture" - 5.2.1.1). Since a 'call' on ARM will not result in a stack pointer
change (like on x86), the current behavior resulted in a 4 Byte aligned stack
only.

Follow up to #1043
2014-02-25 14:58:07 +01:00
..
atomic.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
consts.h base: Fix stack pointer alignment for ARM 2014-02-25 14:58:07 +01:00
string.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00