Microkit Release 2.0.1

2025-03-20

This release contains various bug fixes. It does not include any new features.

• Fixed a regression introduced in 2.0.0 when using channel numbers greater than 32.
• Fixed building SDK on Linux AArch64 hosts.
• Fixed loader output to always output return character before newline.
• Fixed loader to initialise UART for QEMU virt AArch64 to silence warnings when using -d guest_errors.
• Report error when user-specified PD mappings overlap with it’s own ELF or stack region.
• Included kernel bug-fix that prevented Raspberry Pi 4B booting correctly.

Full changelog

Use git log 2.0.0..2.0.1 in https://github.com/seL4/microkit/

More details

See the documentation or ask on the mailing list!