From f5ca520dc44bf770d413a2203e911ca647d87f43 Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Thu, 4 May 2006 11:19:27 +0100 Subject: Fix fault handler for both 32 and 64 bit architecture. Clean up unused code. Signed-off-by: Grzegorz Milos Signed-off-by: Aravindh Puthiyaparambil --- extras/mini-os/sched.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'extras/mini-os/sched.c') 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); -- cgit v1.2.3