From 3fdc41adde65e9b810655f50c539568f44a347e6 Mon Sep 17 00:00:00 2001
From: Adrian Danis <Adrian.Danis@data61.csiro.au>
Date: Fri, 13 May 2016 10:36:51 +1000
Subject: [PATCH] x86: Correct link error with -fwhole-program

---
 src/arch/x86/kernel/boot_sys.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/arch/x86/kernel/boot_sys.c b/src/arch/x86/kernel/boot_sys.c
index 2eb8ecfb6..3ff69c8db 100644
--- a/src/arch/x86/kernel/boot_sys.c
+++ b/src/arch/x86/kernel/boot_sys.c
@@ -71,7 +71,7 @@ boot_state_t boot_state;
 
 /* There are a lot of assumptions on this being page aligned and
  * precisely 4K in size. DO NOT MODIFY */
-ALIGN(BIT(PAGE_BITS))
+ALIGN(BIT(PAGE_BITS)) VISIBLE
 char kernel_stack_alloc[4096];
 
 /* global variables (not covered by abstract specification) */
-- 
GitLab