From f26c53cb35e710be8ffd729ab2888fc591ccc27d Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sun, 5 Apr 2015 22:16:51 +0800
Subject: [PATCH] runtime: use KERNELCPU_PAYLOAD_ADDRESS on UP

---
 soc/runtime/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/soc/runtime/main.c b/soc/runtime/main.c
index 2adfd8a7f..f512dd294 100644
--- a/soc/runtime/main.c
+++ b/soc/runtime/main.c
@@ -9,6 +9,7 @@
 
 #include "test_mode.h"
 #include "comm.h"
+#include "kernelcpu.h"
 #include "elf_loader.h"
 #include "exceptions.h"
 #include "services.h"
@@ -16,7 +17,6 @@
 #include "dds.h"
 
 #ifdef ARTIQ_AMP
-#include "kernelcpu.h"
 #include "mailbox.h"
 #include "messages.h"
 #endif