| l4loader::app | IDL Interface for the loader module |
| app_addr_t | Pair of addresses |
| app_area_t | Application's area to page by our pager thread |
| app_t | Application descriptor |
| cfg_kquota_t | Kernel memory quota descriptor |
| kquota_user | Users of a kernel memory quota |
| l4env_infopage_t | The environment info page - should consider 64-bit architectures too |
| l4env_loader_info_t | Defines loader configuration information useful for programs |
| l4env_version_info_t | Defines some L4 kernel information - some of them (arch, data, arch_class) needed for loading an ELF binary |
| l4exec_info_t | Section Info |
| l4exec_section_t | Defines a section of an executable file (binary or shared library) |