diff --git a/Cargo.lock b/Cargo.lock
index f7128cba8..b08aacc5b 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2447,6 +2447,7 @@ dependencies = [
  "sel4-async-request-statuses",
  "sel4-async-single-threaded-executor",
  "sel4-async-timers",
+ "sel4-async-unsync",
  "sel4-bounce-buffer-allocator",
  "sel4-config",
  "sel4-externally-shared",
diff --git a/crates/examples/microkit/http-server/pds/virtio-blk-driver/src/main.rs b/crates/examples/microkit/http-server/pds/virtio-blk-driver/src/main.rs
index f8da7461e..2113b481d 100644
--- a/crates/examples/microkit/http-server/pds/virtio-blk-driver/src/main.rs
+++ b/crates/examples/microkit/http-server/pds/virtio-blk-driver/src/main.rs
@@ -208,7 +208,7 @@ impl Handler for HandlerImpl {
             CLIENT => match msg_info.recv_using_postcard::<Request>() {
                 Ok(req) => match req {
                     Request::GetNumBlocks => {
-                        let num_blocks = self.dev.capacity().try_into().unwrap();
+                        let num_blocks = self.dev.capacity();
                         MessageInfo::send_using_postcard(GetNumBlocksResponse { num_blocks })
                             .unwrap()
                     }
diff --git a/crates/private/meta/Cargo.toml b/crates/private/meta/Cargo.toml
index 8e658be45..f682caca8 100644
--- a/crates/private/meta/Cargo.toml
+++ b/crates/private/meta/Cargo.toml
@@ -20,6 +20,7 @@ sel4-async-network = { path = "../../sel4-async/network" }
 sel4-async-request-statuses = { path = "../../sel4-async/request-statuses" }
 sel4-async-single-threaded-executor = { path = "../../sel4-async/single-threaded-executor" }
 sel4-async-timers = { path = "../../sel4-async/timers" }
+sel4-async-unsync = { path = "../../sel4-async/unsync" }
 sel4-bounce-buffer-allocator = { path = "../../sel4-bounce-buffer-allocator" }
 sel4-config = { path = "../../sel4/config" }
 sel4-immediate-sync-once-cell = { path = "../../sel4-immediate-sync-once-cell" }
diff --git a/crates/private/meta/src/lib.rs b/crates/private/meta/src/lib.rs
index 9284c8531..98279f4f2 100644
--- a/crates/private/meta/src/lib.rs
+++ b/crates/private/meta/src/lib.rs
@@ -81,6 +81,7 @@ definitely! {
     sel4_async_request_statuses
     sel4_async_single_threaded_executor
     sel4_async_timers
+    sel4_async_unsync
     sel4_bounce_buffer_allocator
     sel4_config
     sel4_externally_shared
diff --git a/crates/sel4-async/block-io/fat/src/dummy_time_source.rs b/crates/sel4-async/block-io/fat/src/dummy_time_source.rs
index c9a5ccd58..607a26c9d 100644
--- a/crates/sel4-async/block-io/fat/src/dummy_time_source.rs
+++ b/crates/sel4-async/block-io/fat/src/dummy_time_source.rs
@@ -1,5 +1,6 @@
 pub use embedded_fat as fat;
 
+#[derive(Default)]
 pub struct DummyTimeSource(());
 
 impl DummyTimeSource {
diff --git a/crates/sel4-async/unsync/src/mutex.rs b/crates/sel4-async/unsync/src/mutex.rs
index b950b583f..6e4b33b51 100644
--- a/crates/sel4-async/unsync/src/mutex.rs
+++ b/crates/sel4-async/unsync/src/mutex.rs
@@ -39,12 +39,12 @@ impl<T> Deref for Guard<'_, T> {
     type Target = T;
 
     fn deref(&self) -> &Self::Target {
-        &*self.ref_mut
+        &self.ref_mut
     }
 }
 
 impl<T> DerefMut for Guard<'_, T> {
     fn deref_mut(&mut self) -> &mut Self::Target {
-        &mut *self.ref_mut
+        &mut self.ref_mut
     }
 }
diff --git a/crates/sel4-backtrace/embedded-debug-info/cli/src/bin/sel4-embed-debug-info.rs b/crates/sel4-backtrace/embedded-debug-info/cli/src/bin/sel4-embed-debug-info.rs
index 55a1487d5..982644772 100644
--- a/crates/sel4-backtrace/embedded-debug-info/cli/src/bin/sel4-embed-debug-info.rs
+++ b/crates/sel4-backtrace/embedded-debug-info/cli/src/bin/sel4-embed-debug-info.rs
@@ -78,5 +78,5 @@ fn with_bit_width<T: FileHeaderExt<Word: PrimInt, Sword: PrimInt>>(
     input
         .concrete_patches
         .push(("embedded_debug_info_size".to_owned(), content_len));
-    input.render_with_data(&image_elf).unwrap()
+    input.render_with_data(image_elf).unwrap()
 }
diff --git a/crates/sel4-kernel-loader/build.rs b/crates/sel4-kernel-loader/build.rs
index b22d80e1d..e8b1ee116 100644
--- a/crates/sel4-kernel-loader/build.rs
+++ b/crates/sel4-kernel-loader/build.rs
@@ -1,4 +1,5 @@
 #![feature(int_roundings)]
+#![allow(clippy::useless_conversion)]
 
 use std::env;
 use std::fs;
diff --git a/crates/sel4-kernel-loader/embed-page-tables/src/embed.rs b/crates/sel4-kernel-loader/embed-page-tables/src/embed.rs
index 191ad66c5..bfea8caa0 100644
--- a/crates/sel4-kernel-loader/embed-page-tables/src/embed.rs
+++ b/crates/sel4-kernel-loader/embed-page-tables/src/embed.rs
@@ -56,7 +56,7 @@ impl Embedding {
         }
     }
 
-    fn embed<'a, T: Scheme>(mut self, table: &'a Table<T>) -> TokenStream {
+    fn embed<T: Scheme>(mut self, table: &Table<T>) -> TokenStream {
         let _ = self.embed_inner(table);
         self.check_tables_order();
         let runtime_mod_ident = self.runtime_mod_ident;
@@ -82,7 +82,7 @@ impl Embedding {
         });
     }
 
-    fn embed_inner<'a, T: Scheme>(&mut self, table: &'a Table<T>) -> usize {
+    fn embed_inner<T: Scheme>(&mut self, table: &Table<T>) -> usize {
         let index = self.allocate_index();
         let entries = table.entries.iter().map(|entry| {
             let entry = EntryForEmbedding::<T>::from_abstract_entry(entry);
diff --git a/crates/sel4-kernel-loader/embed-page-tables/src/regions.rs b/crates/sel4-kernel-loader/embed-page-tables/src/regions.rs
index d21b6f90b..fc99162fb 100644
--- a/crates/sel4-kernel-loader/embed-page-tables/src/regions.rs
+++ b/crates/sel4-kernel-loader/embed-page-tables/src/regions.rs
@@ -12,7 +12,7 @@ impl<T> AbstractRegion<T> {
         Self { range, content }
     }
 
-    fn to_arc(self) -> AbstractRegion<Arc<T>> {
+    fn into_arc(self) -> AbstractRegion<Arc<T>> {
         AbstractRegion {
             range: self.range,
             content: Arc::new(self.content),
@@ -33,7 +33,7 @@ pub struct AbstractRegions<T> {
 impl<T> AbstractRegionsBuilder<T> {
     pub fn new_with_background(background: AbstractRegion<T>) -> Self {
         Self {
-            regions: vec![background.to_arc()],
+            regions: vec![background.into_arc()],
         }
     }
 
@@ -67,7 +67,7 @@ impl<T> AbstractRegionsBuilder<T> {
         let new_regions = regions[..i_left]
             .iter()
             .chain(
-                [left, region.to_arc(), right]
+                [left, region.into_arc(), right]
                     .iter()
                     .filter(|r| r.range.start < r.range.end),
             )
diff --git a/crates/sel4-kernel-loader/embed-page-tables/src/table.rs b/crates/sel4-kernel-loader/embed-page-tables/src/table.rs
index aa3a26262..0e947d525 100644
--- a/crates/sel4-kernel-loader/embed-page-tables/src/table.rs
+++ b/crates/sel4-kernel-loader/embed-page-tables/src/table.rs
@@ -125,7 +125,7 @@ where
     }
 
     fn current_content(&self) -> Option<&RegionContent<T>> {
-        (&*self.current().content).as_ref()
+        (*self.current().content).as_ref()
     }
 
     fn advance(&mut self) -> bool {
diff --git a/crates/sel4-kernel-loader/payload-types/src/lib.rs b/crates/sel4-kernel-loader/payload-types/src/lib.rs
index 05719f74d..bf8e00b1f 100644
--- a/crates/sel4-kernel-loader/payload-types/src/lib.rs
+++ b/crates/sel4-kernel-loader/payload-types/src/lib.rs
@@ -1,6 +1,7 @@
 #![no_std]
 #![feature(strict_provenance)]
 #![deny(unsafe_op_in_unsafe_fn)]
+#![allow(clippy::useless_conversion)]
 
 use core::ops::Range;
 use core::ptr;
@@ -117,6 +118,7 @@ impl<'a> RegionContent for DirectRegionContent<'a> {
 }
 
 impl<U: RegionContent, const N: usize> Payload<usize, U, N> {
+    #[allow(clippy::missing_safety_doc)]
     pub unsafe fn copy_data_out(&self, region_content_source: &U::Source) {
         for region in self.data.iter() {
             let dst = unsafe {
diff --git a/crates/sel4-kernel-loader/src/main.rs b/crates/sel4-kernel-loader/src/main.rs
index df3ac4306..2b05673a5 100644
--- a/crates/sel4-kernel-loader/src/main.rs
+++ b/crates/sel4-kernel-loader/src/main.rs
@@ -11,6 +11,7 @@
 #![feature(stdsimd)]
 #![allow(dead_code)]
 #![allow(unreachable_code)]
+#![allow(clippy::reversed_empty_ranges)]
 
 use spin::RwLock;
 
diff --git a/crates/sel4-shared-ring-buffer/block-io/src/lib.rs b/crates/sel4-shared-ring-buffer/block-io/src/lib.rs
index 234bb9d6c..a4e65e825 100644
--- a/crates/sel4-shared-ring-buffer/block-io/src/lib.rs
+++ b/crates/sel4-shared-ring-buffer/block-io/src/lib.rs
@@ -2,6 +2,7 @@
 #![feature(async_fn_in_trait)]
 #![feature(never_type)]
 #![feature(strict_provenance)]
+#![allow(clippy::useless_conversion)]
 
 extern crate alloc;
 
diff --git a/crates/sel4/src/bootinfo.rs b/crates/sel4/src/bootinfo.rs
index 0587ac990..818b93be8 100644
--- a/crates/sel4/src/bootinfo.rs
+++ b/crates/sel4/src/bootinfo.rs
@@ -1,3 +1,5 @@
+#![allow(clippy::useless_conversion)]
+
 use core::mem;
 use core::ops::Range;
 use core::slice;
diff --git a/crates/sel4/src/invocations.rs b/crates/sel4/src/invocations.rs
index db7a17034..96f9d9e68 100644
--- a/crates/sel4/src/invocations.rs
+++ b/crates/sel4/src/invocations.rs
@@ -1,3 +1,5 @@
+#![allow(clippy::useless_conversion)]
+
 use core::mem;
 
 use sel4_config::{sel4_cfg, sel4_cfg_if};
diff --git a/crates/sel4/sys/build/xml/invocations/mod.rs b/crates/sel4/sys/build/xml/invocations/mod.rs
index b56e171a6..274521d88 100644
--- a/crates/sel4/sys/build/xml/invocations/mod.rs
+++ b/crates/sel4/sys/build/xml/invocations/mod.rs
@@ -1,3 +1,6 @@
+#![allow(clippy::eq_op)]
+#![allow(clippy::nonminimal_bool)]
+
 use std::collections::BTreeMap;
 use std::fmt::Write;
 use std::ops::Range;
diff --git a/hacking/cargo-manifest-sources/crates/private/meta/crate.nix b/hacking/cargo-manifest-sources/crates/private/meta/crate.nix
index 7d4cf626c..c20f21706 100644
--- a/hacking/cargo-manifest-sources/crates/private/meta/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/meta/crate.nix
@@ -20,6 +20,7 @@ mk {
     sel4-async-request-statuses
     sel4-async-single-threaded-executor
     sel4-async-timers
+    sel4-async-unsync
     sel4-bounce-buffer-allocator
     sel4-externally-shared
     sel4-immediate-sync-once-cell