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