Feat/granular paging

.harper-dictionary.txt

@@ -28,3 +28,4 @@ stackless
 u32
 usize
 v0
+writably

kernel/linker.ld.in

@@ -119,6 +119,10 @@ SECTIONS
     *(.srodata .srodata.*)
     *(.rodata .rodata.*)
 
+    . = ALIGN(8);
+    *(.eh_frame .eh_frame.*)
+    *(.eh_frame_hdr)
+
     _rodata_end = .;
   }
 

kernel/src/arch.rs

@@ -7,4 +7,4 @@
 mod riscv64;
 
 #[cfg(target_arch = "riscv64")]
-pub(super) use riscv64::{halt, init_trap, map_bootstrap_fdt};
+pub(super) use riscv64::{BootstrapPaging, KernelPaging, halt, init_trap};

kernel/src/arch/riscv64.rs

@@ -7,7 +7,7 @@ mod boot;
 mod paging;
 mod trap;
 
-pub(crate) use paging::map_bootstrap_fdt;
+pub(crate) use paging::{BootstrapPaging, KernelPaging};
 pub(crate) use trap::init as init_trap;
 
 use core::arch::asm;

kernel/src/arch/riscv64/boot.rs

@@ -17,6 +17,9 @@
 //! `OpenSBI` supplies the hart ID in `a0` and the physical device-tree address
 //! in `a1`. The physical bootstrap places the kernel's physical start address
 //! in `a2`. All three values are preserved until `main` is entered.
+// TODO: Look into if kernel physical boot address needs to be passed in the
+// first place as an argument and inaccessible otherwise, else fix via linker
+// script.
 
 use core::arch::global_asm;