| Our C++ library | |
| L4 low-level kernel interface | |
| L4 Runtime Environment | |
| ELF32 dynamic entry | |
| ELF32 header | |
| ELF32 program header | |
| ELF32 section header - figure 1-9, page 1-9 | |
| ELF32 symbol table entry | |
| ELF64 dynamic entry | |
| ELF64 header | |
| ELF64 program header | |
| ELF64 section header | |
| ELF64 symbol table entry | |
| Offsets in pmap[] and bmap[] | |
| Encapsulation of the buffer-registers block in the UTCB | |
| UTCB structure for exceptions | |
| L4 flexpage type | |
| Info structure for an ICU | |
| Memory descriptor data structure | |
| L4 Kernel Interface Page | |
| Encapsulation of the message-register block in the UTCB | |
| Message tag data structure | |
| Struct | |
| Struct | |
| Struct | |
| CPU sets | |
| Scheduler parameter set | |
| Send-flex-page types | |
| Encapsulation of the thread-control-register block of the UTCB | |
| Basic timeout specification | |
| Timeout pair | |
| Trace buffer status | |
| Trace-buffer status window descriptor | |
| Vcon attribute structure | |
| VCPU message registers | |
| VCPU registers | |
| State of a vCPU | |
| Virtual hardware devices description | |
| Description of a device | |
| VMCB structure for SVM VMs | |
| State save area structure for SVM VMs | |
| State save area segment selector struct | |
| Control structure for SVM VMs | |
| State structure for TrustZone VMs | |
| Auxiliary descriptor | |
| Information about the data space | |
| Auxiliary vector element for a single unsigned data word | |
| Generic header for each auxiliary vector element | |
| Auxiliary vector element for a reserved virtual memory area | |
| Entry in the L4Re environment array for the named inital objects | |
| Initial Environment structure (C version) | |
| Event structure used in buffer | |
| Color component structure | |
| Goos information structure | |
| Pixel_info structure | |
| View information structure | |
| C representation of a goos view | |
| IDT entry | |
| Header of an IDT table | |
| INT-15, AX=E820 style "AddressRangeDescriptor" ...with a "size" parameter on the front which is the structure size - 4, pointing to the next one, up until the full buffer length of the memory map has been reached | |
| APM BIOS info | |
| Drive Info structure | |
| VBE controller information | |
| VBE mode information |