What sort of timer are you looking for? We do not currently have any drivers on or in seL4 for the I.MX6 that output real time, if by real time you mean wall clock time.
The real-time branch, which is tickless, has an in kernel driver for the 64 bit global timer  which counts time since boot and uses this to schedule periodic threads.
Thanks, let me know if I can be further help.
On 29/06/2016 10:17 am, Norrathep Rattanavipanon wrote:
I was wondering if there's any real time clock implementation for I.MX6 in sel4.
And if there isnt any, what would be the best way to use a timer in sel4 (since I saw many implementations of those)?
Norrathep (Oak) Rattanavipanon
M.S. in Computer Science
University of California - Irvine
Devel mailing list
Kernel engineer / PhD Student
DATA61 | CSIRO
CSIRO's Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.