diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 6267b3755..b3748d89d 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -73,3 +73,9 @@ jobs:
       - name: Build httpd without DHCP support
         run:
           cargo build --package httpd
+      - name: Build aarch64 debug profile
+        run:
+          cargo build -p hello_world --target aarch64-unknown-hermit
+      - name: Build aarch64 release profile
+        run:
+          cargo build -p hello_world --target aarch64-unknown-hermit --release
diff --git a/hermit-sys/build.rs b/hermit-sys/build.rs
index 494e2eafd..83b485f65 100644
--- a/hermit-sys/build.rs
+++ b/hermit-sys/build.rs
@@ -39,8 +39,8 @@ fn build_hermit(src_dir: &Path, target_dir_opt: Option<&Path>) {
 	let mut cmd = Command::new("cargo");
 
 	let kernel_triple = match target_arch.as_str() {
-		"x86_64" => "x86_64-unknown-none-hermitkernel",
-		"aarch64" => "aarch64-unknown-hermit",
+		"x86_64" => "x86_64-unknown-none",
+		"aarch64" => "aarch64-unknown-none-softfloat",
 		_ => panic!("Unsupported target arch: {}", target_arch),
 	};