From ffde65fb817bd7dea7a4ddc9e8f94137a0a37b7a Mon Sep 17 00:00:00 2001
From: Berkus Decker <berkus+github@metta.systems>
Date: Sun, 22 Nov 2020 15:51:13 +0200
Subject: [PATCH] [temp] comment out unused boot fn

---
 nucleus/src/main.rs | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/nucleus/src/main.rs b/nucleus/src/main.rs
index 45efa74..2a0f67b 100644
--- a/nucleus/src/main.rs
+++ b/nucleus/src/main.rs
@@ -241,14 +241,14 @@ enum KernelInitError {
     CapabilityCreationFailed,
 }
 
-#[link_section = ".text.boot"]
-fn try_init_kernel() -> Result<(), KernelInitError> {
-    let root_capnode_cap = create_root_capnode();
-    if root_capnode_cap.is_err() {
-        return Err(KernelInitError::CapabilityCreationFailed);
-    }
-    Ok(())
-}
+// #[link_section = ".text.boot"]
+// fn try_init_kernel() -> Result<(), KernelInitError> {
+//     let root_capnode_cap = create_root_capnode();
+//     if root_capnode_cap.is_err() {
+//         return Err(KernelInitError::CapabilityCreationFailed);
+//     }
+//     Ok(())
+// }
 
 const CONFIG_ROOT_CAPNODE_SIZE_BITS: usize = 12;
 const WORD_BITS: usize = 64;