Specify os=Redox to get the OS bindings for free

seL4 · Jul 30, 2018 · dbd2af0 · dbd2af0
1 parent a937c83
commit dbd2af0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cmake-tool/rust_targets/x86_64-sel4-none.json b/cmake-tool/rust_targets/x86_64-sel4-none.json
@@ -1,6 +1,6 @@
 {
     "arch": "x86_64",
-    "os": "none",
+    "os": "redox",
     "llvm-target": "x86_64-elf",
     "data-layout": "e-m:e-i64:64-f80:128-n8:16:32:64-S128",
     "target-pointer-width": "64",