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, <Kofidoku.Atuah@data61.csiro.au> wrote:

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