Fixed taskswitch benchmark

CarlWachter · CarlWachter · commit 48a8335cc8c2 · 2024-05-31T08:51:41.000+02:00
diff --git a/usr/benchmarks/taskswitch.c b/usr/benchmarks/taskswitch.c
@@ -6,13 +6,13 @@
 // copied, modified, or distributed except according to those terms.
 
 ///////////////////////////////////////
-//// HERMITCORE RUST-SPECIFIC CODE ////
+//// HERMIT-OS RUST-SPECIFIC CODE ////
 
 #include <hermit/syscall.h>
 
 inline static void create_second_task(void (*entry_point)(void*))
 {
-	sys_spawn(NULL, entry_point, NULL, HIGH_PRIO, 0);
+	sys_spawn(NULL, entry_point, NULL, NORMAL_PRIO, 0);
 }
 
 inline static void consume_task_time(void)

Original file line number	Diff line number	Diff line change
`@@ -6,13 +6,13 @@`
`6`	`6`	`// copied, modified, or distributed except according to those terms.`
`7`	`7`
`8`	`8`	`///////////////////////////////////////`
`9`		`-//// HERMITCORE RUST-SPECIFIC CODE ////`
	`9`	`+//// HERMIT-OS RUST-SPECIFIC CODE ////`
`10`	`10`
`11`	`11`	`#include <hermit/syscall.h>`
`12`	`12`
`13`	`13`	`inline static void create_second_task(void (entry_point)(void))`
`14`	`14`	`{`
`15`		`- sys_spawn(NULL, entry_point, NULL, HIGH_PRIO, 0);`
	`15`	`+ sys_spawn(NULL, entry_point, NULL, NORMAL_PRIO, 0);`
`16`	`16`	`}`
`17`	`17`
`18`	`18`	`inline static void consume_task_time(void)`