[seL4] create a new thread in sel4

2018-09-18 Thread Dongxu Ji
7 tcb_object.ut is 1208 tcb_object.type is 1 tcb_object.size_bits is a regs.pc is 9640 regs.sp is 3f24f0 Any advice about the issue? Thank you, Dongxu Ji ___

Re: [seL4] SMC in seL4

2018-08-28 Thread Dongxu Ji
another question that why set the sp in monitor mode to sp in SVC mode. asm volatile ("mov r8, sp\n\t" "cps %0\n\t" "isb\n" "mov sp, r8\n\t" ::"I"(MONITOR_MODE)); Thank you, Dongxu Ji

[seL4] Fwd: SMC in seL4

2018-08-28 Thread Dongxu Ji
0, 1"::"r"(MON_VECTOR_START)); I enter into SVC mode by software interrupt and call the function smc(): asm (".arch_extension sec\n"); asm volatile ("stmfdsp!, {r3-r11, lr}\n\t" "dsb\n" "smc #0\n"