From 788e0cb3daa2d3fff29eabf936513528f8ce1889 Mon Sep 17 00:00:00 2001
From: spaqin <mw@m-labs.hk>
Date: Tue, 20 Aug 2024 11:13:59 +0200
Subject: [PATCH] session: demote idle/startup kernel messages to debug

---
 artiq/firmware/runtime/session.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/artiq/firmware/runtime/session.rs b/artiq/firmware/runtime/session.rs
index 71fbb2ce3..b69e47e09 100644
--- a/artiq/firmware/runtime/session.rs
+++ b/artiq/firmware/runtime/session.rs
@@ -914,7 +914,7 @@ pub fn thread(io: Io, aux_mutex: &Mutex,
             Ok(()) =>
                 info!("startup kernel finished"),
             Err(Error::KernelNotFound) =>
-                info!("no startup kernel found"),
+                debug!("no startup kernel found"),
             Err(err) => {
                 congress.finished_cleanly.set(false);
                 error!("startup kernel aborted: {}", err);
@@ -1009,7 +1009,7 @@ pub fn thread(io: Io, aux_mutex: &Mutex,
                         drtio::clear_buffers(&io, &aux_mutex);
                     }
                     Err(Error::KernelNotFound) => {
-                        info!("no idle kernel found");
+                        debug!("no idle kernel found");
                         while io.relinquish().is_ok() {}
                     }
                     Err(err) => {