aboutsummaryrefslogtreecommitdiff
path: root/arch/x86_64/src/kernel
diff options
context:
space:
mode:
Diffstat (limited to 'arch/x86_64/src/kernel')
-rw-r--r--arch/x86_64/src/kernel/main.cpp9
1 files changed, 4 insertions, 5 deletions
diff --git a/arch/x86_64/src/kernel/main.cpp b/arch/x86_64/src/kernel/main.cpp
index 8c68a49..8a73630 100644
--- a/arch/x86_64/src/kernel/main.cpp
+++ b/arch/x86_64/src/kernel/main.cpp
@@ -35,11 +35,10 @@ namespace teachos::arch::kernel
video::vga::text::write("Kernel remapping successfull", video::vga::text::common_attributes::green_on_black);
}
- // TODO: Seems to work correctly, Level 4 Index 0, Level 3 Index 0, Level 2 Index 0, Level 1 Index 184 = 753667 from
- // mapping vga is still mapped
- // set(CMAKE_POSITION_INDEPENDENT_CODE ON), should enable position independent code, but mapping still does not work
- // with same error?
- // Can we change the gcc call? gcc -fPIC -c mylibrary.cpp
+ // TODO: Why is identity mapping multiboot2 information structure with new kernel not required and
+ // allocator.allocate_frame still works?
+ // TODO: Fix unmapping old level 4 page table and turn it into guard page, use Stack Probes for stack allocation if
+ // possible.
// TODO: Map heap virtual pages with active table