1b72921fba56e8da75d0c95e1401e12201665ea7 - 3p/sel4/util_libs

tree: 026b5616cc48dc69a78708db249c0f537252456d

README.md

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.