summaryrefslogtreecommitdiff
path: root/kernel/src
diff options
context:
space:
mode:
Diffstat (limited to 'kernel/src')
-rw-r--r--kernel/src/lib.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/src/lib.rs b/kernel/src/lib.rs
index 4a2483a..842609f 100644
--- a/kernel/src/lib.rs
+++ b/kernel/src/lib.rs
@@ -9,7 +9,7 @@ mod panic;
/// The entrypoint to the kernel. This should be executed by hart0 alone. It performs some early
/// boot tasks, then wakes up any other harts.
#[no_mangle]
-pub extern "C" fn hart0_boot(device_tree: *const u32) {
+pub extern "C" fn hart0_boot(device_tree: *const u32) -> ! {
console::init();
log::info!("device_tree = {device_tree:?}");