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/b6a1386cdd2488b416dbc280ebcea87e4490eb6d > > You will then need to follow the Microkit readme to build your own Microkit with that change. > > Then you need to set `smc="true"` in any PDs where you want to enable SMC forwarding. Here is an example for a vmm: https://github.com/dornerworks/inspecta-open-platform/blob/main/open-platform.system#L14 > > 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. > > Thanks, > Robbie > > -----Original Message----- > From: Hugo V.C. via Devel <devel@sel4.systems> > Sent: Thursday, March 6, 2025 4:37 AM > To: Ivan Velickovic <i.velicko...@unsw.edu.au> > Cc: devel <devel@sel4.systems> > Subject: [seL4] Re: Release 2.0.0 of Microkit > > CAUTION: This email originated from outside of the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe. > > > Hi Ivan, > > where I can find info about: > > "Add support for ARM platforms to use SMC forwarding. > > Note that this requires a kernel option to be set that right now is not set by default on any ARM platforms in Microkit." > > I want to enable SMC forwarding. > > Best, > > > On Thursday, March 6, 2025, Ivan Velickovic via Devel <devel@sel4.systems> > wrote: >> Hello everyone, >> >> There is a new release of Microkit, version 2.0.0. >> >> This release contains various bug fixes, quality-of-life changes, > features, and new board support. >> >> This is a major version bump due to a breaking change. Below the >> release > notes, there >> is a section on how to upgrade from Microkit 1.4.1. >> >> You can download the pre-built SDK from GitHub: >> https://github.com/seL4/microkit/releases/tag/2.0.0 >> >> Ivan >> >> _______________________________________________ >> Devel mailing list -- devel@sel4.systems To unsubscribe send an email >> to devel-leave@sel4.systems >> > _______________________________________________ > Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
