diff --git a/targets/aarch64-unknown-kernel.json b/targets/aarch64-unknown-kernel.json
index 58b72ffac3..f5a777497f 100644
--- a/targets/aarch64-unknown-kernel.json
+++ b/targets/aarch64-unknown-kernel.json
@@ -17,6 +17,7 @@
     "os": "none",
     "position-independent-executables": false,
     "relocation-model": "pic",
+    "rustc-abi": "softfloat",
     "target-c-int-width": 32,
     "target-endian": "little",
     "target-pointer-width": 64,