runtime: use KERNELCPU_PAYLOAD_ADDRESS on UP

m-labs · Apr 5, 2015 · f26c53c · f26c53c
1 parent 0c62f0f
commit f26c53c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/soc/runtime/main.c b/soc/runtime/main.c
@@ -9,14 +9,14 @@
 
 #include "test_mode.h"
 #include "comm.h"
+#include "kernelcpu.h"
 #include "elf_loader.h"
 #include "exceptions.h"
 #include "services.h"
 #include "rtio.h"
 #include "dds.h"
 
 #ifdef ARTIQ_AMP
-#include "kernelcpu.h"
 #include "mailbox.h"
 #include "messages.h"
 #endif