1 files changed, 5 insertions, 0 deletions
diff --git a/crates/kernel/src/lib.rs b/crates/kernel/src/lib.rs
index 7421649..fc96950 100644
--- a/crates/kernel/src/lib.rs
+++ b/crates/kernel/src/lib.rs
@@ -21,6 +21,7 @@ mod panic;
 pub mod alloc;
 pub mod arch;
 pub mod constants;
+pub mod cpu_locals;
 pub mod logger;
 pub mod paging;
 
@@ -98,6 +99,10 @@ pub unsafe extern "C" fn hart0_early_boot(early_boot_addrs: &mut EarlyBootAddrs)
     assert!(early_boot_addrs.initial_stack_start.is_aligned());
     assert!(early_boot_addrs.stack_end.is_aligned());
     assert!(early_boot_addrs.trampoline_start.is_aligned());
+    assert_eq!(
+        arch::get_cpu_locals().as_ptr().wrapping_add(1) as *const (),
+        early_boot_addrs.stack_end.cast()
+    );
 
     // Parse the DeviceTree.
     let flattened_device_tree = unsafe { early_boot_addrs.flattened_device_tree() };