Fix IDT error # bug, add debug helper, continue debugging spawn_thread crash
The crash occurs after the newly-created stack is accessed, suggesting
that there is some bug in the paging code.
diff --git a/include/kernel/log.h b/include/kernel/log.h
index a4ae42b..78a7047 100644
--- a/include/kernel/log.h
+++ b/include/kernel/log.h
@@ -8,6 +8,9 @@
#define WARN "[\033[93m WARN " RESET "] "
#define ERROR "[\033[91m ERROR " RESET "] "
#define DEBUG "[\033[93m DEBUG " RESET "] "
+#define BRKPT "[\033[96m BRKPT " RESET "] "
+#define REACHED_HERE FORMAT_AT(__FILE__, __LINE__)
+#define FORMAT_AT(file, line) "@" file ":%d\n", line
void kprintf(const char *format, ...);
void kassert_int(bool condition, const char *message, const char *file,
diff --git a/include/kernel/task.h b/include/kernel/task.h
index 38ff7ee..3126180 100644
--- a/include/kernel/task.h
+++ b/include/kernel/task.h
@@ -23,6 +23,7 @@
// NOTE: must be PAGE ALIGNED
uint last_stack_pos;
};
+
/**
* The smallest schedulable unit, a thread of a process.
*/