Hi, new developer here.

Trying to get a Raspberry Pico2 (2350) card running, almost there.

Need to check things by printing to UART from kernel.

However cannot get the debug!,debug_verbose to come out unless I do a panic! then it will come out.
I suspect that there is some flush needed or is there something to enable in the kernel?

Snip from my main.rs code for enabling uart:

// UART

    // Create a shared UART channel for kernel debug.

    let uart_mux = components::console::UartMuxComponent::new(cdc, 115200)

        .finalize(components::uart_mux_component_static!());

    // Uncomment this to use UART as an output

     let uart_mux2 = components::console::UartMuxComponent::new(

         &peripherals.uart0,

         115200,

     )

     .finalize(components::uart_mux_component_static!());

    // Setup the console.

    let console = components::console::ConsoleComponent::new(

        board_kernel,

        capsules_core::console::DRIVER_NUM,

        uart_mux2,

    )

    .finalize(components::console_component_static!());

    // Create the debugger object that handles calls to `debug!()`.

    components::debug_writer::DebugWriterComponent::new(uart_mux2)

        .finalize(components::debug_writer_component_static!());