History log of /seL4-camkes-master/projects/camkes-tool/camkes/templates/component.rumprun.c
Revision Date Author Comments
# 77171225 08-Oct-2018 Adam Felizzi <Adam.Felizzi@data61.csiro.au>

templates: Init '_time' function in timer_config

Updated the timer_config.interface initialisation code to also
define the '_time' function.


# b117dd56 08-Oct-2018 Adam Felizzi <Adam.Felizzi@data61.csiro.au>

templates: Weak tsc_freq def for rumprun component

Added a WEAK _tsc_frequency interface definition for rumpruns
timer_config interface. The tsc_frequency method is not supported
on ARM platforms and hence will not be defined.


# 1d15bb32 27-Feb-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

rumprun: fix tsc_freq api change


# 2e4468f0 10-Dec-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

rumprun: Update for changed function prototype


# ce72475d 02-Oct-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Update rumprun template for timer server changes


# 82878b93 30-Jul-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Apply rumprun logical timer changes


# c2a69d3e 23-Jul-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

rumprun: Dynamically allocate cmdline memory


# 3ce1f977 13-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remote blank lines at end of file


# 370c612c 27-Jun-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Add initial Rumprun support to camkes-tool