Google Git
Sign in
opensecura/3p/sel4proj/sel4_projects_libs/5078dbb0e39a769f1b7b61e8cdc6a02e78190b67
commit
5078dbb0e39a769f1b7b61e8cdc6a02e78190b67
[log]
author
Oliver Scott <Oliver.Scott@data61.csiro.au>
Mon Aug 10 19:04:08 2020 +1000
committer
Oliver Scott <Oliver.Scott@data61.csiro.au>
Mon Aug 10 19:05:43 2020 +1000
tree
8862f7633bc083cd39153fb339a50ac667b51dfd
parent
bb8d0ef98e87c0d9738037e519c0cd36f9196e6e [diff]
supress-warnings: fix gcc warnings

-Set defines to ull
-Use correct type
-Use Cast

Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>
7 files changed
tree: 8862f7633bc083cd39153fb339a50ac667b51dfd
  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.