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 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 t
Hi Julia
Thanks for giving more context.
> To do this, I need to investigate the available interfaces, such as USB,
> Ethernet, and threads
The sDDF (seL4 Device Driver Framework) has interfaces for various devices
classes, but USB is not something we’ve explored yet.
Right now we have no na
