README.md
1<!--
2 Copyright 2017, Data61
3 Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4 ABN 41 687 119 230.
5
6 This software may be distributed and modified according to the terms of
7 the BSD 2-Clause license. Note that NO WARRANTY is provided.
8 See "LICENSE_BSD2.txt" for details.
9
10 @TAG(DATA61_BSD)
11-->
12Collection of OS independent utility libs:
13
14* libcpio - a library for parsing CPIO files.
15* libelf - a library for parsing ELF files.
16* libethdrivers - a library for ethernet drivers.
17* libpci - a library for PCI drivers.
18* libplatsupport - a library of platform support utilities, interfaces for interacting with drivers, timer drivers, serial drivers and clock drivers.
19* libfdt - a library for flat device tree manipulation [libfdt](https://github.com/torvalds/linux/tree/master/scripts/dtc/libfdt)
20* libutils - a library of generic utilities including:
21 * ansi.h - utilities for formatting ansi output.
22 * arith.h - utilities for arithmetic, ie MAX, MIN, ROUND_UP etc.
23 * assume.h - provides ASSUME, which allows the user to provide hints to gcc.
24 * builtin.h - defines conventient macros for using builtin gcc attributes.
25 * compile_time.h - provides compile time asserts.
26 * debug.h - various debugging macros.
27 * formats.h - formats for printf.
28 * list.h - a basic, void * pointer based list implementation.
29 * math.h - provies complex math, ie. muldivu64.
30 * page.h - provides virtual memory page operations.
31 * sglib.h - an open source template library that provides arrays, lists, red-black trees etc.
32 * stringify.h - provides macros for creating even more macros.
33 * time.h - provides temporal constants (i.e US_IN_S)
34 * util.h - includes all util header files.
35 * verification.h - macros for verification in Isabelle.
36 * zf_log_config.h - provides zf_log config.
37 * zf_log.h - an open source logging library.
38 * libpicotcp - a wrapper library to include [picotcp](https://github.com/tass-belgium/picotcp).
39