Ivan, Congratulations!
I am wondering if we use microkit on a QEMU riscv64 virt board with smaller memory size (like 128MB)? Are there any notes about how to achieve this? Regards, yf On Thu, 2025-03-06 at 06:43 +0000, Ivan Velickovic via Devel 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
