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

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

seL4 libplatsupport
--------------------

Basic OS-independent driver library, designed to run in user level on seL4.

Mostly contains support for timers, serial devices, clocks.

See `LICENSE_BSD2.txt` for license details.