Hey Kofi,
I have gone through the link shared by you which is relevant for only tk1
platform whether the same can be reused for tx1 ?
I understand that tk1 support only 32bit arch where as tx1 work on 64bit
platform. in this case the version compatibility is not an issue then we
can migrate to tx1 directly otherwise give me the pointer how we can port
to tx1 platform ?
Also the final requirement to port to Tx2 platform. Also provide the
pointer if the UART controller and interface is remain same as tx2 platform?
Regards,
Muneeswaran R
On Fri, Oct 6, 2017 at 12:12 PM,
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/serial.c
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
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel