History log of /seL4-camkes-master/tools/rumprun/platform/sel4/arch/arm/clock.c
Revision Date Author Comments
# 40f6ac06 08-Oct-2018 Adam Felizzi <Adam.Felizzi@data61.csiro.au>

arm/clock: get time from timer interface

Added a check to get the clock time depending on the timer
configuration. Added support to optionally use the timer interface
interface 'time' function.


# fcb2ec62 02-Aug-2018 Damon Lee <Damon.Lee@data61.csiro.au>

Update copyright year to 2018 for new/significantly updated files


# 40b89b44 31-Jul-2018 Damon Lee <Damon.Lee@data61.csiro.au>

Add ARM TLS, clock and platform code