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.

provides RTC rtc;

Supported platforms

Currently, this component supports the following platforms:

• pc99

Limitations

There are currently no limitations with this component.