"Julia" == Julia Royer via Devel <devel@sel4.systems> writes:
Julia> I'm using an RS232-to-USB adapter, connecting only the necessary Julia> pins, and I’ve already tested that the cable is working. RS232 voltage levels are ±12V --- if you connect these to the Odroid sooner or later you will destroy it, as the Odroid C4 uses 0 and 3.3V signalling levels. The seL4 images use the /soc/bus@ff800000/serial@3000 UART which is brought out to the 4-pin connector at the end of the Odroid C4 board. Is this the one you're using? (labelled 'I' on this image: https://cdn.hardkernel.com/wp-content/uploads/2020/04/C4_board_h1.jpeg ) -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.