Ah okay. It’s not in the manual which is why I missed it. Thanks. Should be fairly easy to add to Microkit. Ivan On 7 Mar 2025, at 13:31, Kent Mcleod <kent.mcleod72@gmail.com> wrote: If you badge the SMC cap, the kernel will only allow smc calls with x0 matching the badge value. In the smc calling convention this is the function ID. On Fri, 7 Mar 2025 at 12:19 pm, Ivan Velickovic via Devel <devel@sel4.systems> wrote: On 7 Mar 2025, at 00:06, Robert VanVossen <Robert.VanVossen@dornerworks.com<mailto: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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems