diff --git a/kernel/src/arch/hosted.rs b/kernel/src/arch/hosted.rs
index 0800a45a2..c85e1b79a 100644
--- a/kernel/src/arch/hosted.rs
+++ b/kernel/src/arch/hosted.rs
@@ -455,10 +455,10 @@ pub fn idle() -> bool {
                 // into a PID, and register the connection with the server.
                 let new_pid =
                     crate::arch::process::register_connection_for_key(conn, access_key).unwrap();
-                println!(
-                    "KERNEL: Access key {:?} mapped to PID {}",
-                    access_key, new_pid
-                );
+                // println!(
+                //     "KERNEL: Access key {:?} mapped to PID {}",
+                //     access_key, new_pid
+                // );
 
                 // Inform the backchannel of the new process ID.
                 new_pid_sender
diff --git a/kernel/src/services.rs b/kernel/src/services.rs
index ecf3ac0d5..631fbc3ab 100644
--- a/kernel/src/services.rs
+++ b/kernel/src/services.rs
@@ -1312,12 +1312,12 @@ impl SystemServices {
 
                 #[cfg(not(baremetal))]
                 let backing = MemoryRange::new(4096, 4096).unwrap();
-                println!(
-                    "KERNEL({}): Found a free slot for server {:?} @ {} -- allocating an entry",
-                    pid.get(),
-                    sid,
-                    _idx,
-                );
+                // println!(
+                //     "KERNEL({}): Found a free slot for server {:?} @ {} -- allocating an entry",
+                //     pid.get(),
+                //     sid,
+                //     _idx,
+                // );
 
                 // Initialize the server with the given memory page.
                 Server::init(entry, pid, sid, backing).map_err(|x| x)?;