Google Git
Sign in
opensecura/3p/sel4proj/sel4_projects_libs/b07de392467a05b0941f2f0567f5d4df10ed50c4
commit
b07de392467a05b0941f2f0567f5d4df10ed50c4
[log]
author
Alison Felizzi <Alison.Felizzi@data61.csiro.au>
Fri Feb 28 13:34:32 2020 +1100
committer
Alison Felizzi <Alison.Felizzi@data61.csiro.au>
Fri Mar 06 11:58:02 2020 +1100
tree
9137827771fc9dd57b2dc7527426c9a7005b77ce
parent
e014d83fc9415c1741bd4b00e831e32690b75f13 [diff]
libsel4vm: Update documentation

This commit refreshes the interface documentation in libsel4vm.
This commit patches in missing documentation and additionally
ensures all interface documentation conforms to Doxygen style
comments.
17 files changed
tree: 9137827771fc9dd57b2dc7527426c9a7005b77ce
  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.