update the timeout time and fix warings

reL4team2 · Jan 4, 2025 · 39c5622 · 39c5622
1 parent 7f3958d
commit 39c5622
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/boot/root_server.rs b/src/boot/root_server.rs
@@ -26,11 +26,11 @@ use sel4_common::structures::{exception_t, seL4_IPCBuffer};
 #[cfg(target_arch = "aarch64")]
 use sel4_common::structures_gen::cap_vspace_cap;
 use sel4_common::structures_gen::{
-    cap, cap_asid_control_cap, cap_asid_pool_cap, cap_cnode_cap, cap_domain_cap, cap_frame_cap,
+    cap_asid_control_cap, cap_asid_pool_cap, cap_cnode_cap, cap_domain_cap, cap_frame_cap,
     cap_irq_control_cap, cap_tag, cap_thread_cap,
 };
 #[cfg(target_arch = "riscv64")]
-use sel4_common::structures_gen::{cap_null_cap, cap_page_table_cap};
+use sel4_common::structures_gen::cap_page_table_cap;
 use sel4_common::utils::convert_to_mut_type_ref;
 use sel4_cspace::interface::*;
 

diff --git a/src/syscall/invocation/decode/arch/riscv64.rs b/src/syscall/invocation/decode/arch/riscv64.rs
@@ -13,7 +13,7 @@ use sel4_common::sel4_config::{
     seL4_RevokeFirst, seL4_TruncatedMessage,
 };
 use sel4_common::structures::{exception_t, seL4_IPCBuffer};
-use sel4_common::structures_gen::{cap, cap_page_table_cap, cap_tag};
+use sel4_common::structures_gen::{cap, cap_tag};
 use sel4_common::structures_gen::{lookup_fault_invalid_root, lookup_fault_missing_capability};
 use sel4_common::utils::{convert_to_mut_type_ref, pageBitsForSize};
 use sel4_common::{BIT, MASK};