This release contains various bug fixes. It does not include any new features.
- Fixed two bugs in the tool that lead to initialisation failure on larger Microkit systems.
- Disabled the
KernelArmVtimerUpdateVOffsetkernel configuration option by default.- This is necessary for Microkit VMs where they rely on knowing the actual surpassed time.
More details are in the pull request.
- This is necessary for Microkit VMs where they rely on knowing the actual surpassed time.
- Enabled FPU for QEMU RISC-V virt and Pine64 Star64.
- libmicrokit builds with hardware floating point enabled and, while it does not use the FPU,
it means that every object linked with libmicrokit must also build with hardware floating
point enabled. Previously using floating point operations would cause a crash in user-space.
- libmicrokit builds with hardware floating point enabled and, while it does not use the FPU,
- Fixed the loader link address for the MaaXBoard.
- This does mean that if you target the MaaxBoard you will have to load Microkit images at
a different address. See the manual for details.
- This does mean that if you target the MaaxBoard you will have to load Microkit images at
- Added error checking for overlapping memory regions.
- Included every TCB register in the monitor logs when a fault occurs.
- Made the tool compile from source with a Rust version lower that 1.79.0.
- Specified a minimum Rust version for the tool (1.73.0).
- Fixed typo in the
--helpoutput of the tool. - Minor README fixes.
- Updated PyYAML dependency in requirements.txt to 6.0.2 (from 6.0).