Google GitGoogle Git
Sign in
opensecura/3p/sel4/util_libs/28c378b51fae0c1026c4c5a4b85610229a6922aa
commit
28c378b51fae0c1026c4c5a4b85610229a6922aa
[log]
author
Curtis Millar <curtis.millar@data61.csiro.au>
Fri Sep 11 14:44:10 2020 +1000
committer
Curtis Millar <curtis.millar@data61.csiro.au>
Fri Sep 11 14:57:43 2020 +1000
tree
d4197fef264b65c26073ef2c477783bb9435ae45
parent
2c4603aa68963e7285ba98d4133b31097d7878a6 [diff]
rockpro64 timer: Allocate IRQ from FDT directly

This traverses the FDT directly when initialising the driver for the
rockpro64 timer so that the IRQ for the second timer can be derived from
the IRQ allocated to the first device.

Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
2 files changed
tree: d4197fef264b65c26073ef2c477783bb9435ae45
  1. docs/
  2. libcpio/
  3. libelf/
  4. libethdrivers/
  5. libfdt/
  6. liblwip/
  7. libpci/
  8. libpicotcp/
  9. libplatsupport/
  10. libutils/
  11. .licenseignore
  12. .stylefilter
  13. CMakeLists.txt
  14. Findutil_libs.cmake
  15. LICENSE.txt
  16. 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.