1/*
2 * Copyright 2019, Data61
3 * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4 * ABN 41 687 119 230.
5 *
6 * This software may be distributed and modified according to the terms of
7 * the BSD 2-Clause license. Note that NO WARRANTY is provided.
8 * See "LICENSE_BSD2.txt" for details.
9 *
10 * @TAG(DATA61_BSD)
11 */
12
13#include <plat/clock.h>
14#include <camkes-single-threaded.h>
15#include <camkes-ClockServer.h>
16
17import <Clock.idl4>;
18HARDWARE_CLOCK_EXTRA_IMPORTS
19
20HARDWARE_CLOCK_COMPONENT
21
22component ClockServer {
23    single_threaded_component()
24    ClockServer_server_interfaces(the_clock)
25
26    HARDWARE_CLOCK_INTERFACES
27
28    /* These additional interfaces need to be connected to other components,
29       see each platform's respective clock.h file */
30    HARDWARE_CLOCK_EXTRA_INTERFACES
31
32    HARDWARE_CLOCK_ATTRIBUTES
33
34    composition {
35        HARDWARE_CLOCK_COMPOSITION
36        ClockServer_server_connections(the_clock)
37    }
38
39    configuration {
40        HARDWARE_CLOCK_CONFIG
41        ClockServer_server_configurations(the_clock)
42    }
43}
44