After the following changes, “hello” became visible via trigger.read() after program():
- Synchronized the NEORV32 HAL with the official repository: Updated all .c, .h, .S, and .ld files under /hal to match the upstream NEORV32 HAL.
- Manually updated the Makefile and neorv32_hal.h to avoid dependency mismatches.
- Replaced putch() in main.c with neorv32_uart0_printf() for debugging.
- Set the baud rate of uart_init() for simpleserial1 to 19200 bps.
It is unclear whether changing the baud rate is required on all boards, but I hope this is useful as a reference.