From 18dd15f5630d330238da6eb6aa5ad7b542b9b49c Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Mon, 26 Apr 2021 00:26:04 +0200
Subject: [PATCH] rename name of kernel target

---
 .cargo/config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.cargo/config b/.cargo/config
index 42399c171..d4047437a 100644
--- 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"
-- 
GitLab