Hi,
I am going through the SEL4 userspace code of UART driver for TX1/TK1 board but i have some doubts in the below given link..https://github.com/seL4/util_libs/blob/master/libplatsupport/mach_include/nv...
In serial.h file they are defining IRQ numbers
#define UARTA_IRQ 68
#define UARTB_IRQ 69
#define UARTC_IRQ 78
#define UARTD_IRQ 122
I am not able to find the above IRQ numbers in TX1/TK1 datasheet...can you please point out where they are referring these IRQ numbers(68, 69, 78, 122)...
RegardsAshok
From: "devel-request@sel4.systems"
To: devel@sel4.systems
Sent: Tuesday, 10 October 2017 6:31 AM
Subject: Devel Digest, Vol 41, Issue 11
Send Devel mailing list submissions to
devel@sel4.systems
To subscribe or unsubscribe via the World Wide Web, visit
https://sel4.systems/lists/listinfo/devel
or, via email, send a message with subject or body 'help' to
devel-request@sel4.systems
You can reach the person managing the list at
devel-owner@sel4.systems
When replying, please edit your Subject line so it is more specific
than "Re: Contents of Devel digest..."
Today's Topics:
1. Re: TX1 user-space drivers (Kofidoku.Atuah@data61.csiro.au)
2. Re: sel4Test development Tx1 platform
(Kofidoku.Atuah@data61.csiro.au)
----------------------------------------------------------------------
Message: 1
Date: Mon, 9 Oct 2017 23:32:17 +0000
From:
To:
Subject: Re: [seL4] TX1 user-space drivers
Message-ID: <1507591937169.95333@data61.csiro.au>
Content-Type: text/plain; charset="iso-8859-1"
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
