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