Hello,
I'm porting sel4 to imx6q sabrelite as the trusted OS in trustzone. I
initialize the monitor mode directly using the functions
"install_monitor_hook()" and “switch_to_mon_mode()”. Is the sp in monitor mode
appropriate? After calling smc in SVC mode, it hangs(do nothing in
reserve a memory region for the monitor-mode code and data, I suggest
> you modify the avail_p_regs[] in
> kernel/include/plat/imx6/plat/machine/hardware.h
> file. See the kernel/include/plat/tk1/plat/machine/hardware.h as an example.
>
>
>
>
> Regards,
>
> Yany
.systems; Shen, Yanyan (Data61, Kensington NSW)
Subject: Fwd: [seL4] SMC in seL4
Hi Yanyan,
1. It doesn't set the NS bit to 1 in SCR(I just want it to return without do
anything). The arm_monitor_vector and the smc_handler():
arm_monitor_vector:
ldr pc, [pc, #28]
ldr pc, [pc, #24]
ldr
ds,
Yanyan
From: Devel on behalf of 冀东旭
Sent: Tuesday, August 28, 2018 1:02 PM
To: devel@sel4.systems
Subject: [seL4] SMC in seL4
Hello,
I'm porting sel4 to imx6q sabrelite as the trusted OS in trustzone. I
initialize the monitor mode by setting the sp to STACK_TOP a
Hello,
I'm porting sel4 to imx6q sabrelite as the trusted OS in trustzone. I
initialize the monitor mode by setting the sp to STACK_TOP and
copying arm_monitor_vector to MON_VECTOR_START according to the
functions "install_monitor_hook()" and "switch_to_mon_mode()" in
"platform_init.c".
