I forgot to mention that I’ve already tried other standard baud rates. Also, since I don’t have a UART-to-USB converter, I’m using an RS232-to-USB adapter, connecting only the necessary pins, and I’ve already tested that the cable is working.
Best regards, Julia _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
