Mainpage file doc/general1.doxL4 Loader User Manual.
The L4 Loader distinguishes between Loader-style L4 tasks and "normal" static linked L4 applications. Applications linked against the libraries libld-l4.s.so and libloader.s.so are denoted as Loader-style applications. The libld-l4.s.so contains an ELF binary interpreter, the libloader.s.so contains interfaces to several servers of the L4 environment and also some basic libraries:
By using a separate library for these services it is possible to initialize the region manager independent from the application. Therefore it is possible to page the program regions by the region manager. Though the region manager itself has to be paged by an external pager. While this functionality is covered by the loader, the pager will be separated to an extra server in the future.
To build that library you have to configure your L4 environment accordingly, whereby this feature is enabled by default.
main()(the first has precedence).