Google Git
Sign in
opensecura / 3p / sel4 / util_libs / 1b72921fba56e8da75d0c95e1401e12201665ea7
commit1b72921fba56e8da75d0c95e1401e12201665ea7[log] [tgz]
authorJune Tate-Gans <jtgans@google.com>Mon Jul 10 23:12:02 2023 +0000
committerJune Tate-Gans <jtgans@google.com>Mon Jul 10 23:12:02 2023 +0000
tree026b5616cc48dc69a78708db249c0f537252456d
parentcfaf91d7ff80fec5ed7069e81678e23a2c3d5050 [diff]
nexus: Duplicate shodan platform to nexus

Change-Id: I7ec7ab4fcb1c5a5af85523d90a8086f6af6a9048
1 file changed
tree: 026b5616cc48dc69a78708db249c0f537252456d
  1. .github/
  2. libcpio/
  3. libelf/
  4. libethdrivers/
  5. libfdt/
  6. liblwip/
  7. libpci/
  8. libpicotcp/
  9. libplatsupport/
  10. libutils/
  11. LICENSES/
  12. .licenseignore
  13. .stylefilter
  14. CMakeLists.txt
  15. Findutil_libs.cmake
  16. LICENSE.md
  17. README.md
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.