Update to Microkit 1.4.1

Signed-off-by: Ivan Velickovic <[email protected]>
au-ts · Aug 16, 2024 · 34fd9c2 · 34fd9c2
1 parent 960a55d
commit 34fd9c2
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 11 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -39,8 +39,8 @@ jobs:
           submodules: 'true'
       - name: Download Microkit SDK
         run: |
-          wget https://github.com/seL4/microkit/releases/download/1.4.0/microkit-sdk-1.4.0-linux-x86-64.tar.gz
-          tar xf microkit-sdk-1.4.0-linux-x86-64.tar.gz
+          wget https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-linux-x86-64.tar.gz
+          tar xf microkit-sdk-1.4.1-linux-x86-64.tar.gz
       - name: Install dependencies (via apt)
         # 'expect' is only a dependency for CI testing
         run: sudo apt update && sudo apt install -y make clang lld llvm qemu-system-arm device-tree-compiler expect gcc-aarch64-linux-gnu
@@ -52,7 +52,7 @@ jobs:
       - name: Install Rust
         run: curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
       - name: Build and run examples
-        run: ./ci/examples.sh ${PWD}/microkit-sdk-1.4.0
+        run: ./ci/examples.sh ${PWD}/microkit-sdk-1.4.1
         shell: bash
       - name: Upload built system images
         uses: actions/upload-artifact@v4
@@ -69,8 +69,8 @@ jobs:
           submodules: 'true'
       - name: Download Microkit SDK
         run: |
-          wget https://github.com/seL4/microkit/releases/download/1.4.0/microkit-sdk-1.4.0-macos-x86-64.tar.gz
-          tar xf microkit-sdk-1.4.0-macos-x86-64.tar.gz
+          wget https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-macos-x86-64.tar.gz
+          tar xf microkit-sdk-1.4.1-macos-x86-64.tar.gz
       - name: Install dependencies (via Homebrew)
         # 'expect' is only a dependency for CI testing
         run: |
@@ -84,7 +84,7 @@ jobs:
       - name: Install Rust
         run: curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
       - name: Build and run examples
-        run: ./ci/examples.sh ${PWD}/microkit-sdk-1.4.0
+        run: ./ci/examples.sh ${PWD}/microkit-sdk-1.4.1
         shell: bash
       - name: Upload built system images
         uses: actions/upload-artifact@v4
@@ -100,14 +100,14 @@ jobs:
           submodules: 'true'
       - name: Download Microkit SDK
         run: |
-          wget https://github.com/seL4/microkit/releases/download/1.4.0/microkit-sdk-1.4.0-linux-x86-64.tar.gz
-          tar xf microkit-sdk-1.4.0-linux-x86-64.tar.gz
+          wget https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-linux-x86-64.tar.gz
+          tar xf microkit-sdk-1.4.1-linux-x86-64.tar.gz
       - name: Install Nix
         uses: cachix/install-nix-action@v25
         with:
           nix_path: nixpkgs=channel:nixos-unstable
       - name: Build and run examples
-        run: nix-shell --run "./ci/examples.sh ${PWD}/microkit-sdk-1.4.0"
+        run: nix-shell --run "./ci/examples.sh ${PWD}/microkit-sdk-1.4.1"
       - name: Upload built system images
         uses: actions/upload-artifact@v4
         with:

diff --git a/README.md b/README.md
@@ -65,9 +65,9 @@ nix-shell
 
 #### Acquiring the SDK
 
-Finally, you will need version 1.4.0 of the Microkit SDK.
+Finally, you will need version 1.4.1 of the Microkit SDK.
 
-You can download a prebuilt SDK from [here](https://github.com/seL4/microkit/releases/tag/1.4.0)
+You can download a prebuilt SDK from [here](https://github.com/seL4/microkit/releases/tag/1.4.1)
 or [build from source](https://github.com/seL4/microkit).
 
 ### Building and running