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 <[email protected]> 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 -- [email protected] > To unsubscribe send an email to [email protected] > _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
