diff --git a/crates/examples/microkit/http-server/pds/server/core/src/lib.rs b/crates/examples/microkit/http-server/pds/server/core/src/lib.rs
index 3ee369fdf..f2b460077 100644
--- a/crates/examples/microkit/http-server/pds/server/core/src/lib.rs
+++ b/crates/examples/microkit/http-server/pds/server/core/src/lib.rs
@@ -38,6 +38,7 @@ use server::Server;
 const HTTP_PORT: u16 = 80;
 const HTTPS_PORT: u16 = 443;
 
+#[allow(clippy::too_many_arguments)] // TODO
 pub async fn run_server<
     T: BlockIO<ReadOnly, BlockSize = constant_block_sizes::BlockSize512> + Clone + 'static,
 >(
diff --git a/crates/sel4-async/single-threaded-executor/src/lib.rs b/crates/sel4-async/single-threaded-executor/src/lib.rs
index d63c3bf00..dd4d202b0 100644
--- a/crates/sel4-async/single-threaded-executor/src/lib.rs
+++ b/crates/sel4-async/single-threaded-executor/src/lib.rs
@@ -80,7 +80,7 @@ fn run_executor_until_stalled<T, F: FnMut(&mut Context<'_>) -> Poll<T>>(mut f: F
 
     let current_thread_notify = CURRENT_THREAD_NOTIFY.get_or_init(|| Arc::new(ThreadNotify::new()));
 
-    let waker = waker_ref(&current_thread_notify);
+    let waker = waker_ref(current_thread_notify);
     let mut cx = Context::from_waker(&waker);
     loop {
         if let Poll::Ready(t) = f(&mut cx) {
diff --git a/crates/sel4-kernel-loader/src/this_image.rs b/crates/sel4-kernel-loader/src/this_image.rs
index 86efaa300..4191a1109 100644
--- a/crates/sel4-kernel-loader/src/this_image.rs
+++ b/crates/sel4-kernel-loader/src/this_image.rs
@@ -90,6 +90,7 @@ pub(crate) mod stacks {
 
     static SECONDARY_STACKS: Stack<SECONDARY_STACKS_SIZE> = Stack::new();
 
+    #[allow(clippy::zst_offset)] // for case where NUM_SECONDARY_CORES == 0
     pub(crate) fn get_secondary_stack_bottom(core_id: usize) -> usize {
         unsafe {
             SECONDARY_STACKS