Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / a6e1fbf84d12240422ee81de474b6f1557f04867
commita6e1fbf84d12240422ee81de474b6f1557f04867[log] [tgz]
authorDamon Lee <Damon.Lee@data61.csiro.au>Thu Jul 25 13:44:21 2019 +1000
committerDamon Lee <Damon.Lee@data61.csiro.au>Mon Aug 19 14:38:20 2019 +1000
tree55bb2b908a1ea95209c2487954d903674eabc729
parent4a474d32c60202ad35d6ea0544f5fe1c0eac51be [diff]
libsel4platsupport: Update IO ops calls in timer

Following the refactoring of the IO ops interfaces, we update the
relevant calls inside the timer interface. These changes are temporary
and are intended to be a band-aid fix for the deprecation of this
interface in the very near future.
1 file changed
tree: 55bb2b908a1ea95209c2487954d903674eabc729
  1. libsel4allocman/
  2. libsel4bench/
  3. libsel4debug/
  4. libsel4muslcsys/
  5. libsel4platsupport/
  6. libsel4serialserver/
  7. libsel4simple/
  8. libsel4simple-default/
  9. libsel4sync/
  10. libsel4test/
  11. libsel4utils/
  12. libsel4vka/
  13. libsel4vmm/
  14. libsel4vspace/
  15. .gitignore
  16. .licenseignore
  17. CMakeLists.txt
  18. LICENSE.txt
  19. README.md
README.md

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.