rename name of kernel target

18dd15f5 · Stefan Lankes · Stefan Lankes · 42a6a0e6 · 18dd15f5
Commit 18dd15f5 authored 4 years ago by Stefan Lankes Committed by Stefan Lankes 4 years ago
--- a/.cargo/config
+++ b/.cargo/config
@@ -3,7 +3,7 @@ build-std = ["core", "alloc"]
 build-std-features = ["compiler-builtins-mem"]

 [build]
-target = "x86_64-unknown-hermit-kernel"
+target = "x86_64-unknown-none-hermitkernel"

 [target.x86_64-unknown-hermit-kernel]
 runner = "tests/hermit_test_runner.py"