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

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

Collection of OS independent utility libs:

* libcpio - a library for parsing CPIO files.
* libelf - a library for parsing ELF files.
* libethdrivers - a library for ethernet drivers.
* libpci - a library for PCI drivers.
* libplatsupport - a library of platform support utilities, interfaces for interacting with drivers, timer drivers, serial drivers and clock drivers.
* libfdt - a library for flat device tree manipulation [libfdt](https://github.com/torvalds/linux/tree/master/scripts/dtc/libfdt)
* libutils - a library of generic utilities including:
  * ansi.h - utilities for formatting ansi output.
  * arith.h - utilities for arithmetic, ie MAX, MIN, ROUND_UP etc.
  * assume.h - provides ASSUME, which allows the user to provide hints to gcc.
  * builtin.h - defines conventient macros for using builtin gcc attributes.
  * compile_time.h - provides compile time asserts.
  * debug.h - various debugging macros.
  * formats.h - formats for printf.
  * list.h - a basic, void * pointer based list implementation.
  * math.h - provies complex math, ie. muldivu64.
  * page.h - provides virtual memory page operations.
  * sglib.h - an open source template library that provides arrays, lists, red-black trees etc.
  * stringify.h - provides macros for creating even more macros.
  * time.h - provides temporal constants (i.e US_IN_S)
  * util.h - includes all util header files.
  * verification.h - macros for verification in Isabelle.
  * zf_log_config.h - provides zf_log config.
  * zf_log.h - an open source logging library.
  * libpicotcp - a wrapper library to include [picotcp](https://github.com/tass-belgium/picotcp).