L4Re – L4 Runtime Environment
|
API for embedding auxiliary information into binary programs.
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.