Google Git
Sign in
opensecura/3p/sel4proj/sel4_projects_libs/e2901f48702445ef5e49fcb25bf0d16bfb30cf13
commit
e2901f48702445ef5e49fcb25bf0d16bfb30cf13
[log]
author
Kent McLeod <Kent.Mcleod@data61.csiro.au>
Thu Mar 05 18:01:30 2020 +1100
committer
Kent McLeod <Kent.Mcleod@data61.csiro.au>
Thu Mar 05 20:15:34 2020 +1100
tree
88bb5a2778059841d1b305c37f688a1cfc149472
parent
d4abdfa6fe68da206388464321ec465402838819 [diff]
libsel4vm: Remove allocman dependency

allocman is an object allocation manager that provides an implementation
of the `vka_t` interface. As libsel4vm can perform all allocation
through the `vka_t` interface, it doesn't need to know about allocman.
This commit also adds some missing #includes for dependencies that were
being originally included through the allocman header.
5 files changed
tree: 88bb5a2778059841d1b305c37f688a1cfc149472
  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.