From 625bbb04a8f6d9d29e002c0b99c24280b6efeefa Mon Sep 17 00:00:00 2001
From: ngiddings <nathang567@gmail.com>
Date: Sun, 18 Apr 2021 02:10:33 -0500
Subject: [PATCH] Debug message printed before loading task context

---
 src/kernel.c | 1 +
 1 file changed, 1 insertion(+)

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);
     }