From df9d0278e05321045e055b7d554cf28ea320c529 Mon Sep 17 00:00:00 2001 From: Robbie VanVossen Date: Tue, 17 Dec 2024 08:46:59 -0500 Subject: [PATCH] Improve printing for demoing --- .../src/lib.rs | 2 +- open-platform-models/isolate-ethernet-simple/microkit/vmm/vmm.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/open-platform-models/isolate-ethernet-simple/microkit/crates/seL4_LowLevelEthernetDriver_LowLevelEthernetDriver/src/lib.rs b/open-platform-models/isolate-ethernet-simple/microkit/crates/seL4_LowLevelEthernetDriver_LowLevelEthernetDriver/src/lib.rs index f7ce149..67e5da0 100644 --- a/open-platform-models/isolate-ethernet-simple/microkit/crates/seL4_LowLevelEthernetDriver_LowLevelEthernetDriver/src/lib.rs +++ b/open-platform-models/isolate-ethernet-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 index 37b52cf..7d9bd09 100644 --- 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);