runtime: fix user_kernel_state on UP

This commit is contained in:
Sebastien Bourdeauducq 2015-04-22 11:41:54 +08:00
parent 5413242587
commit d5d49e73d2

View File

@ -320,10 +320,12 @@ static int process_input(void)
#ifdef ARTIQ_AMP #ifdef ARTIQ_AMP
kloader_start_user_kernel(k); kloader_start_user_kernel(k);
#else
run_kernel_up(k);
#endif
user_kernel_state = USER_KERNEL_RUNNING; 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; break;
} }
case REMOTEMSG_TYPE_RPC_REPLY: { case REMOTEMSG_TYPE_RPC_REPLY: {