7 Mar
2025
7 Mar
'25
2:16 a.m.
On 7 Mar 2025, at 00:06, Robert VanVossen <Robert.VanVossen@dornerworks.com> wrote: The kernel implementation allows for fine-grained control over specifically which SMC calls are allowed by a PD, however, I don't think Microkit has implemented that granularity yet. That means you can either forward all SMC calls or none of them. Can you expand on this? I do not see anything in the seL4 manual or the implementation that suggests any granularity with SMC forwarding. Ivan