Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / b8e98a32ab92affff7b3bfe5277c415462824ca5
commitb8e98a32ab92affff7b3bfe5277c415462824ca5[log] [tgz]
authorSam Leffler <sleffler@google.com>Tue Sep 27 20:35:59 2022 +0000
committerSam Leffler <sleffler@google.com>Sun Oct 02 22:46:19 2022 +0000
tree6537f80eea919d26261a2fc89f0f46d555831a9a
parent897f12b3617a6234278bea16d31f7215532876e4 [diff]
seL4_libs: skip tainted untypeds during bootstrap

Untyped slabs are marked tainted when the kerrnel uses them to back
rootserver resources. They should not be used to bootstrap dynamic
allocators because the current logic assumes untypeds provided by
the kernel are empty/unused (so mucking with them will corrupt the
rootserver's VSpace).

Change-Id: I1912131c1cc066224120f73d6abf9daed6b2ced7
5 files changed
tree: 6537f80eea919d26261a2fc89f0f46d555831a9a
  1. libsel4allocman/
  2. libsel4bench/
  3. libsel4debug/
  4. libsel4muslcsys/
  5. libsel4platsupport/
  6. libsel4serialserver/
  7. libsel4simple/
  8. libsel4simple-default/
  9. libsel4sync/
  10. libsel4test/
  11. libsel4utils/
  12. libsel4vka/
  13. libsel4vspace/
  14. .gitignore
  15. .licenseignore
  16. CMakeLists.txt
  17. FindseL4_libs.cmake
  18. LICENSE.txt
  19. PREUPLOAD.cfg
  20. README.md
README.md

seL4 Libraries

A collection of libraries for working on seL4.

  • libsel4allocman: an allocator for managing virtual memory, malloc memory and cspaces.
  • libsel4bench: a library with utilities for benchmarking on seL4.
  • libsel4debug: a library with utilities for debugging on seL4. Only useful when debugging a userlevel app; potentially hacky.
  • libsel4muslcsys: a library to support muslc for the root task.
  • libsel4platsupport: a wrapper around libplatsupport specificially for seL4.
  • libsel4simple: an interface which abstracts over the boot environment of a seL4 application.
  • libsel4simple-default: an implementation of simple for the master branch of the kernel.
  • libsel4simple-experimental: an implementatoin of simple for the experimental branch of the kernel.
  • libsel4sync: a synchronisation library that uses notifications to construct basic locks.
  • libsel4test: a very basic test infrastructure library.
  • libsel4utils: a library OS - Commonly used stuff, actively maintained: implements threads, processes, elf loading, virtual memory management etc.
  • libsel4vka: an allocation interface for seL4.
  • libsel4vspace: a virtual memory management interface for seL4.

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.