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 <[email protected]> wrote: > > On 7 Mar 2025, at 00:06, Robert VanVossen < > [email protected]> 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 -- [email protected] > To unsubscribe send an email to [email protected] > _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
