diff --git a/kernel/src/MemoryManager.cpp b/kernel/src/MemoryManager.cpp index b0f80e17..4f349e0d 100644 --- a/kernel/src/MemoryManager.cpp +++ b/kernel/src/MemoryManager.cpp @@ -7,6 +7,11 @@ extern BOOTBOOT bootboot; +extern u8 start_of_kernel_rodata[1]; +extern u8 end_of_kernel_rodata[1]; +extern u8 start_of_kernel_data[1]; +extern u8 end_of_kernel_data[1]; + static bool page_bitmap_read(u64 index); static void page_bitmap_set(u64 index, bool value); @@ -93,6 +98,10 @@ namespace MemoryManager lock_pages((u64)page_bitmap_addr, page_bitmap_size / MMU::page_size() + 1); } + void protect_kernel_sections() + { + } + void init() { init_physical_allocator();