https://github.com/sel4/util_libs

https://github.com/sel4/util_libs

Last synced: over 1 year ago
JSON representation

• Host: GitHub
• URL: https://github.com/sel4/util_libs
• Owner: seL4
• License: other
• Created: 2015-11-29T21:33:06.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2025-03-17T01:08:31.000Z (over 1 year ago)
• Last Synced: 2025-03-28T14:05:17.372Z (over 1 year ago)
• Language: C
• Size: 3.51 MB
• Stars: 59
• Watchers: 23
• Forks: 88
• Open Issues: 33
• Metadata Files:
  • Readme: README.md
  • Contributing: .github/CONTRIBUTING.md
  • License: LICENSE.md
  • Code of conduct: .github/CODE_OF_CONDUCT.md

Awesome Lists containing this project

README

          


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