diff options
Diffstat (limited to 'extras/mini-os/sched.c')
| -rw-r--r-- | extras/mini-os/sched.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/sched.c b/extras/mini-os/sched.c index 68d4805d03..ee1adb6549 100644 --- a/extras/mini-os/sched.c +++ b/extras/mini-os/sched.c @@ -324,7 +324,7 @@ void th_f2(void *data) void init_sched(void) { - printk("Initialising scheduler, idle_thread %p\n", idle_thread); + printk("Initialising scheduler\n"); idle_thread = create_thread("Idle", idle_thread_fn, NULL); INIT_LIST_HEAD(&idle_thread->thread_list); |