* fixed kernel name in welcome message

13 years ago · e8ad60671b
parent 8c45f4751c
commit e8ad60671b
1 changed files with 1 additions and 1 deletions
--- 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 Fire_Kernel 0.0!\n");
+    printf("kernel_init(): This is µkleos!\n");
    
    scheduler_init();