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