Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / 430e1a87ac9a5e0a35e270a6d8a86179af4cb3f6
commit430e1a87ac9a5e0a35e270a6d8a86179af4cb3f6[log] [tgz]
authorAnna Lyons <Anna.Lyons@data61.csiro.au>Tue Apr 04 12:12:08 2017 +1000
committerAnna Lyons <Anna.Lyons@data61.csiro.au>Tue Apr 04 12:28:33 2017 +1000
treebdf19be5b7c9d6e630d3b91f7a5d82930fb8ff96
parentbeab3372dead0bd6c5af7ff419960466100d2dc9 [diff]
sel4bench: helpers for looping through events

This commit adds helpers in sel4bench.h to loop through a set of
events when the number of events you want to read are greater than the
number of counters provided by the platform.

These can be used for the generic events or for a custom set
of events.
1 file changed
tree: bdf19be5b7c9d6e630d3b91f7a5d82930fb8ff96
  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.