diff --git a/targets/x86_64-unknown-kernel.json b/targets/x86_64-unknown-kernel.json
index 440b4108bc..63a6af7b7c 100644
--- a/targets/x86_64-unknown-kernel.json
+++ b/targets/x86_64-unknown-kernel.json
@@ -20,5 +20,6 @@
     "exe-suffix": "",
     "has-rpath": false,
     "no-default-libraries": true,
-    "position-independent-executables": false
+    "position-independent-executables": false,
+    "rustc-abi": "x86-softfloat"
 }