History log of /seL4-camkes-master/projects/camkes-tool/camkes/templates/component.environment.c
Revision Date Author Comments
# 2aa7a854 15-Jan-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

templates: Don't use c_symbol for private symbols

Many uses of c_symbol are no longer needed due to historical
refactorings. Removing them should improve readability and rendering
performance.


# 0bbd796c 15-Jan-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Remove --fsupport-init flag support

This flag was mostly redundant as it is used by default and there are
no longer any motivating uses for not providing init support.


# 597dfaed 04-Jul-2018 Adrian Danis <Adrian.Danis@data61.csiro.au>

Move component init interfaces to libsel4camkes

These functions are constant and will always be defined by all components and so there is need
for them to be templated. Removing them specifically from the component header also removes the
implication that they should be called by component code when they are intended for internal use
by CAmkES only.

Finally putting these definitions in a library allows them to be used by other library code in
the future, as libraries cannot include per component templates.


# 61f44e90 28-Jun-2018 Adrian Danis <Adrian.Danis@data61.csiro.au>

Refactor component.template.c into multiple files

Prepares the way for supporting different environments by moving the C specific environment
code into a separate file.