6 Oct
2017
6 Oct
'17
5:42 p.m.
Hey Ashok,? Unless I'm mistaken, I'm pretty sure there's already a UART driver for the TX1 here: https://github.com/seL4/util_libs/blob/master/libplatsupport/src/mach/nvidia... Feel free to ask further questions if this doesn't meet your needs though -- it should work for all 4 of the UARTs on the TX1. -- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO