From d5d49e73d2d7a1b1992b70e0a1d5de4598788cb2 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Wed, 22 Apr 2015 11:41:54 +0800
Subject: [PATCH] runtime: fix user_kernel_state on UP

---
 soc/runtime/session.c | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/soc/runtime/session.c b/soc/runtime/session.c
index 5fbb906b0..9f54198e7 100644
--- a/soc/runtime/session.c
+++ b/soc/runtime/session.c
@@ -320,10 +320,12 @@ static int process_input(void)
 
 #ifdef ARTIQ_AMP
             kloader_start_user_kernel(k);
-#else
-            run_kernel_up(k);
-#endif
             user_kernel_state = USER_KERNEL_RUNNING;
+#else
+            user_kernel_state = USER_KERNEL_RUNNING;
+            run_kernel_up(k);
+            user_kernel_state = USER_KERNEL_LOADED;
+#endif
             break;
         }
         case REMOTEMSG_TYPE_RPC_REPLY: {