<!--
     Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)

     SPDX-License-Identifier: CC-BY-SA-4.0
-->

# RTC

This is a CAmkES component that is inteded to abstract over a platform's Real
Time Clock (RTC) and multiplex client access to it.

## Dependencies

There are currently no dependencies for this component.

## Usage

For clients to use the functionality exposed by the component, the clients will
have to connect to following CAmkES interface with the `seL4RPCCall` connector.

```c
provides RTC rtc;
```

## Supported platforms

Currently, this component supports the following platforms:
  - pc99

## Limitations

There are currently no limitations with this component.