Google Git
Sign in
opensecura / 3p / sel4proj / sel4_projects_libs / bb8d0ef98e87c0d9738037e519c0cd36f9196e6e
commitbb8d0ef98e87c0d9738037e519c0cd36f9196e6e[log] [tgz]
authorChester Pang <i@bopa.ng>Wed Jun 10 17:19:02 2020 +1000
committerChester Pang <i@bopa.ng>Wed Jul 29 14:20:01 2020 +1000
treeefbff3ecfdb8f0b6d683ed9d1d3da3875e1be49b
parent1967d540d7e8f665da94f6815dd042c322b52b21 [diff]
vmmplatsupport & vm: add support for odroidc2

Code and headers for odroidc2 platform support
4 files changed
tree: efbff3ecfdb8f0b6d683ed9d1d3da3875e1be49b
  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.