| <!-- | |
| 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. |