From 8c90a79e59a1fb4dd2f24f5efd08dd76aa1c90ec Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Fri, 16 Aug 2024 16:04:44 +1000
Subject: [PATCH] Add Microkit 1.4.1 release

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 _config.yml                                   |  2 +-
 _data/projects/microkit.yml                   |  8 ++++
 .../_releases/microkit/1.4.1.md               | 41 +++++++++++++++++++
 3 files changed, 50 insertions(+), 1 deletion(-)
 create mode 100644 content_collections/_releases/microkit/1.4.1.md

diff --git a/_config.yml b/_config.yml
index bf556232ad..a71d28f67d 100644
--- a/_config.yml
+++ b/_config.yml
@@ -45,7 +45,7 @@ collections:
 sel4: "13.0.0"
 camkes: "camkes-3.11.0"
 capdl: "0.3.0"
-microkit: "1.4.0"
+microkit: "1.4.1"
 
 # Front matter defaults:
 defaults:
diff --git a/_data/projects/microkit.yml b/_data/projects/microkit.yml
index 54d35eb7e3..0980b10b23 100644
--- a/_data/projects/microkit.yml
+++ b/_data/projects/microkit.yml
@@ -23,6 +23,14 @@ repositories:
     repo: microkit_tutorial
 
 sdk_downloads:
+  - version: 1.4.1
+    sdks:
+    - label: "microkit-sdk-1.4.1-linux-x86-64.tar.gz"
+      url: "https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-linux-x86-64.tar.gz"
+    - label: "microkit-sdk-1.4.1-macos-x86-64.tar.gz"
+      url: "https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-macos-x86-64.tar.gz"
+    - label: "microkit-sdk-1.4.1-macos-aarch64.tar.gz"
+      url: "https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-macos-aarch64.tar.gz"
   - version: 1.4.0
     sdks:
     - label: "microkit-sdk-1.4.0-linux-x86-64.tar.gz"
diff --git a/content_collections/_releases/microkit/1.4.1.md b/content_collections/_releases/microkit/1.4.1.md
new file mode 100644
index 0000000000..5809676eab
--- /dev/null
+++ b/content_collections/_releases/microkit/1.4.1.md
@@ -0,0 +1,41 @@
+---
+version: 1.4.1
+title: 1.4.1
+project: microkit
+SPDX-License-Identifier: CC-BY-SA-4.0
+SPDX-FileCopyrightText: 2024 seL4 Project a Series of LF Projects, LLC.
+---
+
+# Microkit Release 1.4.1
+
+#### 2024-08-16
+
+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).
+
+## Full changelog
+
+Use `git log 1.4.0..1.4.1` in <https://github.com/seL4/microkit/>
+
+## More details
+
+See the [documentation](https://github.com/seL4/microkit/blob/main/docs/manual.md)
+or ask on the mailing list!