diff options
Diffstat (limited to 'main.c')
-rw-r--r-- | main.c | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -8,11 +8,12 @@ // Allocate a real stack and switch to it, first // doing some setup required for memory allocator to work. void -main() +main(int hartid) { + w_tp(hartid); // save hartid where cpuid() can find it uartinit(); // serial port consoleinit(); - printf("entering main()\n"); + printf("entering main() on hart %d\n", hartid); kinit(); // physical page allocator kvminit(); // kernel page table procinit(); // process table |