Hi,
I am trying write UART driver in SEL4 user-space driver for TX1 board.Shall i get any reference(docs or ref.code) to write these driver.. Thanks & RegardsAshok
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
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
Munees,
I'm fairly sure that the TX1 can use the UART driver in there, since we have that driver in regression, being tested almost daily on a TX1 board -- that driver is the one used by seL4test on the TX1 in this test here: https://github.com/seL4/sel4test/blob/master/apps/sel4test-tests/src/tests/s...
You also asked whether you have to migrate anything to the TX1. To my knowledge, no, because the TX1 is already running in regression internally, and that UART driver I linked you to is used by the TX1 port with no modifications.
As for your question about the TX2, I cannot comment on whether or not the TX2 works the same as the TX1 because I have no experience with the TX2, since we do not have this board internally, and because seL4 does not officially support the TX2. If you want to port seL4 to the TX2, it would require some effort in figuring out what the differences between the TX1 and TX2 are, as far as I can tell :)
-- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO
-
ashokk＠spanidea.com -
Kofidoku.Atuah＠data61.csiro.au -
Muneeswaran Rajendran