Add release notes for 1.4.1

Signed-off-by: Ivan Velickovic <[email protected]>

CHANGES.md

@@ -1,6 +1,29 @@
 # Revision History for Microkit
 
-## Release 1.4.0-dev
+## Release 1.4.1-dev
+
+## Release 1.4.1
+
+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 `KernelArmVtimerUpdateVOffset` kernel 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](https://github.com/seL4/microkit/pull/202).
+* 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 caused a crash in user-space.
+* Fixed the loader link address for the MaaXBoard.
+  * This does mean that if you target the MaaxBoard you will have to loader Microkit images at
+    a different address. See the manual for details.
+* 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 `--help` output of the tool.
+* Minor README fixes.
+* Updated PyYAML dependency in requirements.txt to 6.0.2 (from 6.0).
 
 ## Release 1.4.0