diff options
author | AlmuHS <almuhs@github.com> | 2019-04-22 22:11:55 +0200 |
---|---|---|
committer | AlmuHS <almuhs@github.com> | 2019-04-22 22:11:55 +0200 |
commit | e646facce00ce85bc35df3e1c3bb78527041dcf7 (patch) | |
tree | 18b21be3007c59bfa8bf8641f5c108521e527ba2 | |
parent | 8e1a459894aa5c2a795d8bd6d2765f60be7faaf4 (diff) |
modified trace
-rw-r--r-- | kern/startup.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/kern/startup.c b/kern/startup.c index 21212711..ae0c1354 100644 --- a/kern/startup.c +++ b/kern/startup.c @@ -182,7 +182,6 @@ void setup_main(void) */ (void) thread_create(kernel_task, &startup_thread); thread_start(startup_thread, start_kernel_threads); - //pset_sys_bootstrap(); /* * Give it a kernel stack. @@ -327,7 +326,7 @@ void cpu_launch_first_thread(thread_t th, int mycpu) startrtclock(); /* needs an active thread */ - printf("clock started in cpu %d\n", cpu_number()); + printf("clock started in cpu %d\n", mycpu); load_context(th); /*NOTREACHED*/ |