Google Git
Sign in
opensecura / 3p / sel4proj / sel4_projects_libs / refs/heads/master
commitc15bec1db0ebc8eba0659a2a2a3a6c2696b59f17[log] [tgz]
authorOliver Scott <Oliver.Scott@data61.csiro.au>Thu Sep 03 15:42:42 2020 +1000
committerOliver Scott <Oliver.Scott@data61.csiro.au>Thu Sep 10 18:15:23 2020 +1000
tree5ee290e975757fa659a6863ba28c43dd485b33a1
parentfdc54ba678bb2ede49f3f0d04b8c2b138edcf4dd [diff]
guest_ram: add custom iterator

Add a function that initialises ram with a
custom iterator. This is used for mapping vm
memory onto a dataport.
2 files changed
tree: 5ee290e975757fa659a6863ba28c43dd485b33a1
  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.