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