Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / d45811c814f68437b73849f1a3c73c23294d2df6
commitd45811c814f68437b73849f1a3c73c23294d2df6[log] [tgz]
authorAdrian Danis <Adrian.Danis@data61.csiro.au>Wed Nov 02 15:19:29 2016 +1100
committerAdrian Danis <Adrian.Danis@data61.csiro.au>Wed Nov 02 15:20:38 2016 +1100
treef5d2e5adaadca3d9e6bda4bdbe61e08adf3c31e0
parentdf98937b5b43703afb6654efbb80cca307284992 [diff]
Mapping into IO spaces on ARM

The existing IO space mapping code is logically correct for ARM. This
commit changes it to use an ARCH wrapper for the Map functions and
changes the #if guards to make it available
2 files changed
tree: f5d2e5adaadca3d9e6bda4bdbe61e08adf3c31e0
  1. libsel4allocman/
  2. libsel4bench/
  3. libsel4debug/
  4. libsel4muslcsys/
  5. libsel4platsupport/
  6. libsel4simple/
  7. libsel4simple-default/
  8. libsel4sync/
  9. libsel4test/
  10. libsel4utils/
  11. libsel4vka/
  12. libsel4vmm/
  13. libsel4vspace/
  14. .gitignore
  15. LICENSE_BSD2.txt
  16. README.md
README.md

seL4_libs

seL4 Libraries

A collection of libraries for working on seL4.

  • libsel4allocman: an allocator for managing virtual memory, malloc memory and cspaces.
  • libsel4bench: a library with utilities for benchmarking on seL4.
  • libsel4debug: a library with utilities for debugging on seL4. Only useful when debugging a userlevel app; potentially hacky.
  • libsel4muslcsys: a library to support muslc for the root task.
  • libsel4platsupport: a wrapper around libplatsupport specificially for seL4.
  • libsel4simple: an interface which abstracts over the boot environment of a seL4 application.
  • libsel4simple-default: an implementation of simple for the master branch of the kernel.
  • libsel4simple-experimental: an implementatoin of simple for the experimental branch of the kernel.
  • libsel4sync: a synchronisation library that uses notifications to construct basic locks.
  • libsel4test: a very basic test infrastructure library.
  • libsel4utils: a library OS - Commonly used stuff, actively maintained: implements threads, processes, elf loading, virtual memory management etc.
  • libsel4vka: an allocation interface for seL4.
  • libsel4vspace: a virtual memory management interface for seL4.

License

The files in this repository are release under standard open source licenses. Please see individual file headers and the LICENSE_BSD2.txt file for details.