fix this problem by through lto = false

rel4team · Aug 19, 2024 · 90e1361 · 90e1361
1 parent f51e7d7
commit 90e1361
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 7 deletions.
diff --git a/src/arch/aarch64/boot.rs b/src/arch/aarch64/boot.rs
@@ -86,7 +86,6 @@ pub fn try_init_kernel(
         debug!("ERROR: free memory management initialization failed\n");
         return false;
     }
-
     if let Some((initial_thread, root_cnode_cap)) = root_server_init(
         it_v_reg,
         extra_bi_size_bits,

diff --git a/src/boot/root_server.rs b/src/boot/root_server.rs
@@ -115,15 +115,14 @@ pub fn root_server_init(
             ipcbuf_cap,
         )
     };
-
     if initial as usize == 0 {
         debug!("ERROR: could not create initial thread");
         return None;
     }
     Some((initial, root_cnode_cap))
 }
 
-#[no_mangle]
+// #[no_mangle]
 unsafe fn create_initial_thread(
     root_cnode_cap: &cap_t,
     it_pd_cap: &cap_t,
@@ -169,11 +168,10 @@ unsafe fn create_initial_thread(
     tcb.tcbPriority = seL4_MaxPrio;
     set_thread_state(tcb, ThreadState::ThreadStateRunning);
     tcb.setup_reply_master();
-    unsafe {
-        ksCurDomain = ksDomSchedule[ksDomScheduleIdx].domain;
-        ksDomainTime = ksDomSchedule[ksDomScheduleIdx].length;
-    }
+    ksCurDomain = ksDomSchedule[ksDomScheduleIdx].domain;
+    ksDomainTime = ksDomSchedule[ksDomScheduleIdx].length;
     tcb.domain = ksCurDomain;
+    // log::error!("tcb.domain:{:#x}", &tcb.domain as *const usize as usize);
     #[cfg(feature = "ENABLE_SMP")]
     {
         tcb.tcbAffinity = 0;