diff --git a/.github/workflows/sdk.yaml b/.github/workflows/sdk.yaml
index 15ee1863..84137213 100644
--- a/.github/workflows/sdk.yaml
+++ b/.github/workflows/sdk.yaml
@@ -45,7 +45,8 @@ jobs:
             texlive-fonts-recommended texlive-fonts-extra \
             libxml2-utils \
             python3.9 python3-pip python3.9-venv \
-            qemu-system-arm qemu-system-misc
+            qemu-system-arm qemu-system-misc \
+            gcc-aarch64-linux-gnu
           python3.9 -m venv pyenv
           ./pyenv/bin/pip install --upgrade pip setuptools wheel
           ./pyenv/bin/pip install -r requirements.txt
diff --git a/tool/microkit/.cargo/config.toml b/tool/microkit/.cargo/config.toml
index 09a2d194..fe6baea7 100644
--- a/tool/microkit/.cargo/config.toml
+++ b/tool/microkit/.cargo/config.toml
@@ -2,4 +2,4 @@
 # SPDX-License-Identifier: BSD-2-Clause
 
 [target.aarch64-unknown-linux-musl]
-linker = "aarch64-none-elf-ld"
+linker = "aarch64-linux-gnu-ld"