From bd1b2bc4fb682598d867a15572adf374dfdc92cf Mon Sep 17 00:00:00 2001 From: Ivan-Velickovic Date: Sun, 4 Aug 2024 14:07:56 +1000 Subject: [PATCH] Add release notes for 1.4.0 Signed-off-by: Ivan-Velickovic Signed-off-by: Ivan Velickovic --- CHANGES.md | 55 +++++++++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 54 insertions(+), 1 deletion(-) diff --git a/CHANGES.md b/CHANGES.md index 97b5dbe7..f8b27ce7 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,6 +1,59 @@ # Revision History for Microkit -## Release 1.3.0-dev +## Release 1.4.0-dev + +## Release 1.4.0 + +This release aims to add support for requested features by the community, in order to +allow more people to use and transition to Microkit. There is of course still more to +be done over the next couple of releases. + +This release has no breaking changes. + +### Features added + +* Added support for RISC-V 64-bit based platforms. +* Added a new 'benchmark' configuration to allow access to the in-kernel + performance tracking. +* Add the ability to configure the stack size of a PD. +* Export ARM architectural timer to user-space for the QEMU virt AArch64 platform. + * This platform does not have any other timer so this is allows having a timer + driver when simulating/developing Microkit systems with QEMU. +* Add new APIs for 'deferred' versions of `microkit_notify` and `microkit_irq_ack`. + See the manual for details on when and how to use these. + +### Other changes + +* Made a number of internal changes to the tool to improve performance and peak memory + usage. + * The tool's performance was not noticeable until building larger systems with Microkit. + Now invoking the Microkit tool with a large system should not take more than 500ms-1s to + complete. There are more opportunities for optimisation if we do run into the tool slowing + down however. + +### Bug fixes + +* Fixed the loader to not print unless in debug mode (matching the behaviour of + the kernel and monitor). +* Add error checking for duplicate symbols between `setvar_vaddr` attributes and + `setvar` elements. +* Fixed an internal issue that prevented the Monitor from printing out correct fault + information in debug mode. +* Fixed the parsing of parent protection domains, previously non-trivial cases were + leading to errors. +* Fixed the tool to explicitly skip ELF segments that are not declared as loadable, + previously the tool assumed all segments would be loaded at runtime. +* Fix permissions applied to the distributed/packaged SDK. Previously this would cause + `sudo` access to move/remove the SDK. +* Fixed an internal issue that prevented a memory region from being allocated at a fixed + physical address that is not part of device memory (e.g within RAM). + +### Board support + +This release adds support for the following platforms: + +* QEMU virt (RISC-V 64-bit) +* Pine64 Star64 ## Release 1.3.0