From 1e7c0c20660db31ba08298f63e0647872b3d3c34 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Wed, 18 Dec 2013 16:24:15 +0100 Subject: [PATCH] hw: fix assembly alignments ref #1006 --- base-hw/src/core/arm/boot_modules.s | 4 ++-- base-hw/src/core/arm/crt0.s | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/base-hw/src/core/arm/boot_modules.s b/base-hw/src/core/arm/boot_modules.s index 96d6e9d336..98b2048655 100644 --- a/base-hw/src/core/arm/boot_modules.s +++ b/base-hw/src/core/arm/boot_modules.s @@ -13,12 +13,12 @@ .section .data -.align 3 +.align 2 .global _boot_modules_begin _boot_modules_begin: .string "GROM" -.align 3 +.align 2 .global _boot_module_headers_begin _boot_module_headers_begin: diff --git a/base-hw/src/core/arm/crt0.s b/base-hw/src/core/arm/crt0.s index 9bf5506924..a830bb91a0 100644 --- a/base-hw/src/core/arm/crt0.s +++ b/base-hw/src/core/arm/crt0.s @@ -58,14 +58,14 @@ .section .bss - /* kernel stack */ + /* kernel stack, must be aligned to an 8-byte boundary */ .align 3 .space 64*1024 .global _kernel_stack_high _kernel_stack_high: /* main-thread UTCB-pointer for the Genode thread-API */ - .align 3 + .align 2 .global _main_thread_utcb _main_thread_utcb: .long 0