diff --git a/src/kernel.c b/src/kernel.c
index f84c88f..f1b5c9d 100644
--- a/src/kernel.c
+++ b/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);
     }