diff --git a/Cargo.toml b/Cargo.toml
index 18f5270c..03a433b9 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -37,6 +37,7 @@ members = [
     "framework/aster-frame/src/arch/x86/boot/linux_boot/setup",
     "framework/libs/align_ext",
     "framework/libs/boot-wrapper/builder",
+    "framework/libs/boot-wrapper/linux-boot-params",
     "framework/libs/boot-wrapper/wrapper",
     "framework/libs/ktest",
     "framework/libs/tdx-guest",
diff --git a/framework/aster-frame/src/lib.rs b/framework/aster-frame/src/lib.rs
index 1c35b578..9486c225 100644
--- a/framework/aster-frame/src/lib.rs
+++ b/framework/aster-frame/src/lib.rs
@@ -3,7 +3,6 @@
 #![feature(const_mut_refs)]
 #![feature(const_ptr_sub_ptr)]
 #![feature(const_trait_impl)]
-#![feature(core_intrinsics)]
 #![feature(coroutines)]
 #![feature(fn_traits)]
 #![feature(iter_from_coroutine)]
diff --git a/services/libs/aster-std/src/process/program_loader/elf/init_stack.rs b/services/libs/aster-std/src/process/program_loader/elf/init_stack.rs
index 3d53b805..3dce8da1 100644
--- a/services/libs/aster-std/src/process/program_loader/elf/init_stack.rs
+++ b/services/libs/aster-std/src/process/program_loader/elf/init_stack.rs
@@ -140,8 +140,8 @@ impl InitStack {
     fn adjust_stack_alignment(
         &mut self,
         root_vmar: &Vmar<Full>,
-        envp_pointers: &Vec<u64>,
-        argv_pointers: &Vec<u64>,
+        envp_pointers: &[u64],
+        argv_pointers: &[u64],
         aux_vec: &AuxVec,
     ) -> Result<()> {
         // ensure 8-byte alignment
diff --git a/services/libs/keyable-arc/src/lib.rs b/services/libs/keyable-arc/src/lib.rs
index d768daf2..c96b7109 100644
--- a/services/libs/keyable-arc/src/lib.rs
+++ b/services/libs/keyable-arc/src/lib.rs
@@ -179,7 +179,7 @@ impl<T: ?Sized> From<KeyableArc<T>> for Arc<T> {
 
 impl<T: ?Sized> PartialEq for KeyableArc<T> {
     fn eq(&self, other: &Self) -> bool {
-        Arc::as_ptr(&self.0) == Arc::as_ptr(&other.0)
+        core::ptr::eq(Arc::as_ptr(&self.0), Arc::as_ptr(&other.0))
     }
 }
 
@@ -270,7 +270,7 @@ impl<T: ?Sized> KeyableWeak<T> {
 
 impl<T: ?Sized> PartialEq for KeyableWeak<T> {
     fn eq(&self, other: &Self) -> bool {
-        self.0.as_ptr() == other.0.as_ptr()
+        core::ptr::eq(self.0.as_ptr(), other.0.as_ptr())
     }
 }