Improve printing for demoing

loonwerks · Dec 17, 2024 · df9d027 · df9d027
1 parent cd3759a
commit df9d027
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/...rnet-simple/microkit/crates/seL4_LowLevelEthernetDriver_LowLevelEthernetDriver/src/lib.rs b/...rnet-simple/microkit/crates/seL4_LowLevelEthernetDriver_LowLevelEthernetDriver/src/lib.rs
@@ -124,7 +124,7 @@ pub extern "C" fn seL4_LowLevelEthernetDriver_LowLevelEthernetDriver_timeTrigger
             let size = sz_pkt.size as usize;
             if size > 0 {
                 // warn!("TX Packet: {:0>2X?}", &sz_pkt.message[0..size]);
-                warn!("TX Packet");
+                debug!("TX Packet");
                 if let Some(tx_tok) = state.drv.transmit(Instant::ZERO) {
                     trace!("Valid tx token");
                     tx_tok.consume(size, |tx_buf| {

diff --git a/open-platform-models/isolate-ethernet-simple/microkit/vmm/vmm.c b/open-platform-models/isolate-ethernet-simple/microkit/vmm/vmm.c
@@ -168,7 +168,7 @@ void seL4_ArduPilot_ArduPilot_irqHandler(microkit_channel ch) {
 static uint8_t tx_idx = 0;
 
 void vmm_virtio_net_tx(void *tx_buf) {
-    LOG_VMM("Sending TX Message from guest\n");
+    // LOG_VMM("Sending TX Message from guest\n");
     switch (tx_idx) {
         case 0:
             put_EthernetFramesTx0((base_SW_RawEthernetMessage_Impl *)tx_buf);