| <!-- |
| Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) |
| |
| SPDX-License-Identifier: CC-BY-SA-4.0 |
| --> |
| |
| # libplatsupport |
| |
| This documents the interfaces and drivers provided in libplatsupport. |
| |
| ## Background |
| |
| This library provides interface definitions for writing user level device |
| drivers. It also provides drivers for a variety of devices on a variety of |
| platforms. |
| |
| ## Contents |
| |
| - [Driver environment](driver_environment): The driver environment provides a |
| series of interfaces for writing hardware device drivers, including hardware |
| access interfaces and driver interfaces. |
