History log of /seL4-camkes-master/projects/global-components/components/ClockServer/camkes-include/Clock.idl4
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.