L4Re – L4 Runtime Environment
L4Re ELF Auxiliary Information

API for embedding auxiliary information into binary programs.

+ Collaboration diagram for L4Re ELF Auxiliary Information:

API for embedding auxiliary information into binary programs.

This API allows information for the binary loader to be embedded into a binary application. This information can be reserved areas in the virtual memory of an application and things such as the stack size to be allocated for the first application thread.