History log of /seL4-camkes-master/projects/global-components/components/ClockServer/ClockServer.camkes
Revision Date Author Comments
# 7cde4d13 04-May-2020 Kent McLeod <Kent.Mcleod@data61.csiro.au>

ClockServer: Refactor client-server interface

Use the connector definitions to control interface configuration and
initialization.

Provide an ADL API for creating the ClockServer client-server interface
in any component.


# 1d04e259 22-Mar-2020 Damon Lee <Damon.Lee@data61.csiro.au>

ClockServer: Add #defines for imports & interfaces

This adds in #defines for extra imports and interfaces that are needed
for specific platforms.


# 82d530f0 01-Oct-2019 Damon Lee <Damon.Lee@data61.csiro.au>

components: Add ClockServer component

The ClockServer component is a new component that is responsible for
managing and multiplexing requests to the clock controllers of a
particular platform. The functionality of the component is very limited
at the moment and can only support the functionality that is exposed via
the clock subsystem in libplatsupport. There is no access control
with regards to clock gates so components can interfere with other
components by manipulating the clock gates.