Re: [seL4] Get real time clock data (and timer) from I.MX6

Thanks Anna. We are looking for a way to get timestamp (wall clock) that can be used in the userland for authenticating an incoming message from remote server. I see that the real-time clock driver is not implemented yet but an accurate timer would do the job too. So any recommendation on which timer implementation to use? Would this one work? https://github.com/seL4/libsel4platsupport/blob/master/src/mach/imx/timer.c Thanks, Oak On Tue, Jun 28, 2016 at 5:17 PM, Norrathep Rattanavipanon <nrattana(a)uci.edu> wrote: -- Norrathep (Oak) Rattanavipanon M.S. in Computer Science University of California - Irvine