From cfccf0f2caeb1742e3c3a1c51107c7b73b8ffd5f Mon Sep 17 00:00:00 2001
From: Kaspar Schleiser <kaspar@schleiser.de>
Date: Mon, 11 Oct 2010 17:05:33 +0200
Subject: [PATCH] * remove mu character from kernel greeting line.

---
 core/kernel_init.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();