Also commenting to start another thread, is there an example that shows how to read from/poll

reg_uart_data

properly, docs say that when I read from it the output should be 0xFFFF_FFFF if there's no valid data but that's not the case for me in sim. I am already enabling UART and writing to

reg_uart_data

works fine and shows up on the TX/mprj_io[6] pin without issues. Thanks

Some documentation may refer to the previous UART implementation on the PicoRV32 (from MPW-one). You might want to ask Mohamed Shalan where to find the most recent hardware tests; we have new testbenches for the UART that we are using for testing the MPW-two silicon.

I'm taking the liberty then @mshalan