diff --git a/core/kernel_init.c b/core/kernel_init.c
index 8c3f0a2eab..cc6e273c2f 100644
--- a/core/kernel_init.c
+++ b/core/kernel_init.c
@@ -66,7 +66,7 @@ const char *idle_name = "idle";
 void kernel_init(void)
 {
     dINT();
-    printf("kernel_init(): This is µkleos!\n");
+    printf("kernel_init(): This is ukleos!\n");
     
     scheduler_init();