libl4thread skeleton is introduced.

With this library, it is aimed at easing thread manipulation, utcb handling etc.
2026-10-16 09:27:01 +02:00 · 2009-11-05 12:37:19 +02:00
parent 1f7711fa2a
commit 4bfd339db5
4 changed files with 48 additions and 0 deletions
@@ -0,0 +1,10 @@
+/*
+ *
+ */
+
+#include <stdio.h>
+
+void l4thread_print(void)
+{
+	printf("Hello world from libl4thread!\n");
+}