Debug message printed before loading task context

src/kernel.c

@@ -75,6 +75,7 @@ struct process_state_t *next_process(struct kernel_t *kernel, struct process_sta
     kernel->active_process = extract_min(kernel->priority_queue);
     if(kernel->active_process != NULL)
     {
+        printf("entering process %08x\n\tcr3=%08x state=%08x.\n", kernel->active_process, kernel->active_process->page_table, kernel->active_process->state);
         load_address_space(kernel->active_process->page_table);
         load_context(kernel->active_process->state);
     }