Hi Oak,

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 [1] which counts time since boot and uses this to schedule periodic threads.

Thanks, let me know if I can be further help.

[1] https://github.com/seL4/seL4/blob/rt/src/arch/arm/machine/global_timer.c#L98

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)?
through sel4platsupport_get_default_timer?


Norrathep (Oak) Rattanavipanon
M.S. in Computer Science
University of California - Irvine

Devel mailing list


Anna Lyons
Kernel engineer / PhD Student
E anna.lyons@nicta.com.au 
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.