Hi,

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?

Best,
Oak

-- 
Norrathep (Oak) Rattanavipanon
M.S. in Computer Science
University of California - Irvine
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to