added some traces

1 files changed, 6 insertions, 0 deletions

diff --git a/kern/startup.c b/kern/startup.c
index 13caaafd..9bb9d47d 100644
--- a/kern/startup.c
+++ b/kern/startup.c
@@ -312,6 +312,8 @@ void cpu_launch_first_thread(thread_t th, int mycpu)
 
 	PMAP_ACTIVATE_KERNEL(mycpu);
 
+	printf("kernel pmap enabled in cpu %d\n", mycpu);
+
 	active_threads[mycpu] = th;
 	active_stacks[mycpu] = th->kernel_stack;
 	thread_lock(th);
@@ -321,8 +323,12 @@ void cpu_launch_first_thread(thread_t th, int mycpu)
 
 	PMAP_ACTIVATE_USER(vm_map_pmap(th->task->map), th, mycpu);
 
+    printf("user pmap enabled in cpu %d\n", mycpu);
+
 	startrtclock();		/* needs an active thread */
 
+    printf("clock started in cpu %d\n", mycpu);
+
 	load_context(th);
 	/*NOTREACHED*/
 }