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