Google Git
Sign in
opensecura/3p/sel4proj/sel4_projects_libs/9a43632bf66744e7ede40a024656e3efd2072ab3
commit
9a43632bf66744e7ede40a024656e3efd2072ab3
[log]
author
Alison Felizzi <Alison.Felizzi@data61.csiro.au>
Wed Mar 04 18:40:17 2020 +1100
committer
Alison Felizzi <Alison.Felizzi@data61.csiro.au>
Fri Mar 06 11:58:12 2020 +1100
tree
33de18b32f9e8b060c3d10f5360303bc47b42355
parent
a41b3097a98773bad6ee6be04831d6adee7b79b3 [diff]
libsel4vmmplatsupport: Update documentation

This commit refreshes the interface documentation in
libsel4vmmplatsupport. This commit patches in missing documentation
and additionally ensures all interface documentation conforms to
Doxygen style comments.
22 files changed
tree: 33de18b32f9e8b060c3d10f5360303bc47b42355
  1. libsel4bga/
  2. libsel4dma/
  3. libsel4keyboard/
  4. libsel4nanopb/
  5. libsel4rpc/
  6. libsel4vchan/
  7. libsel4vm/
  8. libsel4vmmplatsupport/
  9. .gitignore
  10. .licenseignore
  11. CMakeLists.txt
  12. Findsel4_projects_libs.cmake
  13. LICENSE.txt
  14. README.md
README.md

seL4_projects_libs

seL4 Projects Libraries

A collection of libraries for seL4. These libraries are compatible with seL4_libs.

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.