History log of /seL4-camkes-master/tools/rumprun/platform/sel4/clock.c
Revision Date Author Comments
# fcb2ec62 02-Aug-2018 Damon Lee <Damon.Lee@data61.csiro.au>

Update copyright year to 2018 for new/significantly updated files
# 3a21110c 29-Jul-2018 Damon Lee <Damon.Lee@data61.csiro.au>

Split clock code into common and arch specific code