Thank you Robert! I'll give it a try.
On Thursday, March 6, 2025, Robert VanVossen <
robert.vanvos...@dornerworks.com> wrote:
> Hugo,
>
> This is how I did it:
>
> Here is an example of enabling SMC forwarding for the zcu102 development
board:
https://github.com/seL4/microkit/commit/b6a1386cdd2488
On 7 Mar 2025, at 00:06, Robert VanVossen
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
Hi Ivan,
Thanks for your answer.
To provide more context, my project is focused on exploring all the
possibilities of using seL4, which is quite a vast topic. To do this, I need to
investigate the available interfaces, such as USB, Ethernet, and threads, for
example. For this, I have chosen th
