libsel4test: Allow compilation even with no defined test cases.
This commit now forces the creation of the special _test_case ELF section, even
if the application linking against libsel4test has not defined any tests. In
particular, this is in support of upcoming changes to make test case definition
and manipulation more explicit in sel4test-driver.
1 file changed
tree: dc303b17ef4375086eacd4124363cac4d4c032b6
- libsel4allocman/
- libsel4bench/
- libsel4debug/
- libsel4muslcsys/
- libsel4platsupport/
- libsel4simple/
- libsel4simple-default/
- libsel4simple-stable/
- libsel4sync/
- libsel4test/
- libsel4utils/
- libsel4vka/
- libsel4vmm/
- libsel4vspace/
- .gitignore
- LICENSE_BSD2.txt
- README.md
README.md
seL4_libs
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.
- 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 - 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.
