History log of /seL4-camkes-master/projects/global-components/components/TimeServer/TimeServer.camkes
Revision Date Author Comments
# 85041267 30-Apr-2019 Damon Lee <Damon.Lee@data61.csiro.au>

TimeServer: Add HARDWARE_TIMER_COMPONENT defs

Due to the removal of the ARM hardware components in camkes-tool, we
have to define a timer component for am335x. This is a special case only
for am335x, due to its DTS not following the format of the recent ARM
platforms.


# c315e886 12-Sep-2018 Anna Lyons <Anna.Lyons@data61.csiro.au>

components/TimeServer: use generic hardware timer

This commit prepares the TimeServer component to allow for different
hardware timers to be provided via Camkes ADL.

- move PIT specific composition and configuration to a macro in
components/TimeServer/include/plat/pc99/plat/timers.h
- use the global PIT component definition from the camkes-tool repo.


# ad9ccca1 26-Jun-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

TimeServer: remove trailing '\' character


# 3e8b61be 25-Jun-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Move components from camkes-vm project

These x86 components can be reused in other projects