Google Git
Sign in
opensecura/3p/sel4proj/sel4_projects_libs/9729d5743a3093b1bbcdf29105eed2683030244c
commit
9729d5743a3093b1bbcdf29105eed2683030244c
[log]
author
Alison Felizzi <Alison.Felizzi@data61.csiro.au>
Fri Feb 21 14:48:23 2020 +1100
committer
Alison Felizzi <Alison.Felizzi@data61.csiro.au>
Fri Feb 21 14:49:48 2020 +1100
tree
5b3d21006b21a4606103c4faa2fdc80f3530edc1
parent
71ac1cd15795ceb4d41580082355192f1e3140f5 [diff]
Style: Updated style of modified files

Updated the style of various source files recently updated. These
mainly being the ioports interface updates
3 files changed
tree: 5b3d21006b21a4606103c4faa2fdc80f3530edc1
  1. libsel4bga/
  2. libsel4dma/
  3. libsel4keyboard/
  4. libsel4nanopb/
  5. libsel4rpc/
  6. libsel4vchan/
  7. libsel4vm/
  8. libsel4vmmplatsupport/
  9. .gitignore
  10. CMakeLists.txt
  11. Findsel4_projects_libs.cmake
  12. LICENSE.txt
  13. 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.