Hi Ivan, I'm reaching out because I'm having trouble communicating with the Odroid-C4 via UART.
I successfully flashed your image and can see the message "Hit any key to stop autoboot: 0", but when using Minicom or Picocom at a baud rate of 115200, I'm unable to send any data. Additionally, when I try to listen to the boot output, all the data appears corrupted and unreadable. I'm connected to the UART interface, not through the GPIO. For comparison, I was able to successfully boot the official Odroid-C4 Ubuntu image without any issues. Is there anything I might be doing wrong? Could the baud rate be different from 115200? Thanks again for your help! Best regards, Julia _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems