![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
| ▼ amd64 | |
| ► l4 | |
| ► sys | |
| __kip-arch.h | |
| __vcpu-arch.h | AMD64-specific vCPU interface |
| cache.h | Cache functions |
| consts.h | Common L4 constants, AMD64 version |
| ktrace_events.h | |
| l4int.h | Fixed sized integer types, AMD64 version |
| linkage.h | Linkage |
| segment.h | Segment handling (AMD64) |
| utcb.h | UTCB definitions for AMD64 |
| vm.h | |
| ► util | |
| bitops_arch.h | Amd64 bit manipulation functions |
| cpu.h | CPU related functions |
| irq.h | Some PIC and hardware interrupt related functions |
| l4_macros.h | Main function |
| mbi_argv.h | Command line handling |
| perform.h | Perfomance Monitoring using P5/P6 Measurement Counters |
| port_io.h | Port I/O functions |
| rdtsc.h | Timestamp counter related functions |
| spin.h | Spinning for amd64 |
| ► l4f | |
| ► l4 | |
| ► sys | |
| ipc.h | |
| segment.h | L4f-specific fs/gs manipulation (AMD64) |
| ► util | |
| port_io.h | Port I/O functions |
| ▼ arm | |
| ► l4 | |
| ► sys | |
| __kip-arch.h | |
| __vcpu-arch.h | ARM-specific vCPU interface |
| atomic.h | |
| cache.h | Cache functions |
| consts.h | Common L4 constants, arm version |
| ktrace_events.h | |
| l4int.h | Fixed sized integer types, arm version |
| linkage.h | Linkage |
| mem_op.h | Memory access functions (ARM specific) |
| platform_control.h | |
| task.h | |
| thread.h | ARM-specific thread related definitions |
| utcb.h | UTCB definitions for ARM |
| vm | |
| vm.h | ARM virtualization interface |
| ► util | |
| bitops_arch.h | ARM specific implementation of bitops functions |
| cpu.h | CPU related functions |
| irq.h | ARM specific implementation of irq functions |
| l4_macros.h | Main function |
| mbi_argv.h | Multiboot |
| ► l4f | |
| ► l4 | |
| ► sys | |
| ipc.h | |
| syscall_defs.h | Syscall entry definitions |
| ▼ arm64 | |
| ► l4 | |
| ► sys | |
| __kip-arch.h | |
| __vcpu-arch.h | ARM64-specific vCPU interface |
| cache.h | Cache functions |
| consts.h | Common L4 constants, arm version |
| ktrace_events.h | |
| l4int.h | Fixed sized integer types, arm version |
| linkage.h | |
| platform_control.h | |
| task.h | |
| thread.h | ARM64-specific thread related definitions |
| utcb.h | UTCB definitions for ARM64 |
| vm | |
| vm.h | |
| ► l4f | |
| ► l4 | |
| ► sys | |
| ipc.h | |
| ▼ contrib | |
| ► libio-io | |
| ► l4 | |
| ► io | |
| io.h | |
| types.h | |
| ▼ l4 | |
| ► cxx | |
| ► bits | |
| bst.h | AVL tree |
| bst_base.h | AVL tree |
| bst_iter.h | AVL tree |
| list_basics.h | |
| smart_ptr_list.h | Implementation of a list of smart-pointer-managed objects |
| type_traits.h | |
| alloc.h | Alloc list |
| arith | |
| atomic.h | Atomic template |
| avl_map | AVL map |
| avl_set | AVL set |
| avl_tree | AVL tree |
| basic_ostream | Basic IO stream |
| basic_vector.h | Basic vector |
| bitfield | |
| bitmap | |
| dlist | |
| exceptions | Base exceptions |
| hlist | |
| iostream | IO Stream |
| ipc_helper | IPC helper |
| ipc_server | IPC server loop |
| ipc_stream | IPC stream |
| ipc_timeout_queue | |
| l4iostream | L4 IO stream |
| l4types.h | L4 Types |
| list | |
| list_alloc | |
| lock_guard.h | Lock guard implementation |
| main_thread | Main thread |
| minmax | |
| observer | |
| pair | Pair implementation |
| ref_ptr | |
| ref_ptr_list | Implementation of a list of ref-ptr-managed objects |
| slab_alloc | |
| slist | |
| static_container | |
| static_vector | |
| std_alloc | |
| std_ops | |
| string | |
| string.h | String |
| thread | Thread implementation |
| type_list | |
| type_traits | |
| unique_ptr | |
| unique_ptr_list | Implementation of a list of unique-ptr-managed objects |
| utils | |
| weak_ref | |
| ► irq | |
| irq.h | IRQ handling routines |
| ► l4re_vfs | |
| ► impl | |
| default_ops_impl.h | |
| fd_store.h | |
| fd_store_impl.h | |
| ns_fs.h | |
| ns_fs_impl.h | |
| ro_file.h | |
| ro_file_impl.h | |
| vcon_stream.h | |
| vcon_stream_impl.h | |
| vfs_impl.h | |
| backend | |
| vfs.h | |
| ► l4virtio | |
| ► client | |
| l4virtio | |
| virtio-block | |
| virtio-net | |
| ► server | |
| l4virtio | |
| virtio | |
| virtio-block | |
| virtio-console | |
| virtio-console-device | |
| virtio-i2c-device | |
| virtio-rng-device | |
| virtio-scmi-device | |
| l4virtio | |
| virtio.h | |
| virtio_block.h | |
| virtio_input.h | |
| virtio_net.h | |
| virtqueue | |
| ► libblock-device | |
| block_device_mgr.h | |
| debug.h | |
| device.h | |
| errand.h | |
| gpt.h | |
| inout_memory.h | |
| part_device.h | |
| partition.h | |
| request.h | |
| scheduler.h | |
| types.h | |
| virtio_client.h | |
| ► libedid | |
| edid.h | |
| ► libgfxbitmap | |
| bitmap.h | Bitmap renderer header file |
| font.h | Bitmap font renderer header file |
| support | Terminal support functionality |
| ► re | |
| ► c | |
| ► util | |
| ► video | |
| goos_fb.h | Framebuffer utility functionality |
| cap_alloc.h | Capability allocator C interface |
| kumem_alloc.h | Kumem allocator utility C interface |
| ► video | |
| colors.h | |
| goos.h | |
| view.h | |
| dataspace.h | Data space C interface |
| debug.h | Debug C interface |
| dma_space.h | DMA space C interface |
| event.h | Event C interface |
| event_buffer.h | |
| inhibitor.h | Inhibitor C interface |
| log.h | Log C interface |
| mem_alloc.h | Memory allocator C interface |
| namespace.h | Namespace functions, C interface |
| parent.h | Parent C interface |
| rm.h | Region map interface, C interface |
| ► impl | |
| dataspace_impl.h | Dataspace client stub implementation |
| mem_alloc_impl.h | Memory allocator client stub implementation |
| namespace_impl.h | Namespace client stub implementation |
| rm_impl.h | Region map client stub implementation |
| ► util | |
| ► video | |
| goos_fb | |
| goos_svr | |
| bitmap_cap_alloc | Bitmap capability allocator |
| br_manager | |
| cap | Capability utility functions |
| cap_alloc | Capability allocator |
| cap_alloc_impl.h | Capability allocator implementation |
| counting_cap_alloc | Reference-counting capability allocator |
| dataspace_svr | |
| debug | |
| env_ns | |
| event | |
| event_buffer | |
| event_svr | |
| icu_svr | |
| item_alloc | Item allocator |
| kumem_alloc | Kumem allocator helper |
| meta | |
| name_space_svr | |
| object_registry | |
| poll_timeout_kipclock | |
| region_mapping | Region handling |
| region_mapping_svr_2 | |
| shared_cap | Shared_cap / Shared_del_cap |
| unique_cap | Unique_cap / Unique_del_cap |
| vcon_svr | |
| ► video | |
| colors | |
| goos | |
| goos-sys.h | Goos protocol definition |
| view | |
| cap_alloc | Abstract capability-allocator interface |
| console | |
| consts | Constants |
| consts.h | Constants |
| dataspace | Dataspace interface |
| dataspace-sys.h | Dataspace protocol defintion |
| dbg_events | |
| debug | Debug interface |
| dma_space | |
| elf_aux.h | Auxiliary information for binaries |
| env | Environment interface |
| env.h | Environment interface |
| error_helper | Error helper |
| event | |
| event-sys.h | |
| event.h | Events |
| event_enums.h | |
| inhibitor | |
| inhibitor-sys.h | |
| itas | |
| l4aux.h | Auxiliary definitions |
| log | Log interface |
| log-sys.h | Log protocol definition |
| mem_alloc | Memory allocator interface |
| mem_alloc-sys.h | Memory allocator protocol definitions |
| mmio_space | Interface definition to emit MMIO-like accesses via IPC |
| namespace | Namespace interface |
| namespace-sys.h | Namespace protocol definitions |
| parent | Parent interface |
| parent-sys.h | Parent protocol definition |
| protocols.h | L4Re Protocol Constants (C version) |
| random | Random number generator interface definition |
| remote_access | |
| rm | Region mapper interface |
| rm-sys.h | Region mapper protocol definitions |
| shared_cap | Shared_cap / Shared_del_cap |
| unique_cap | Unique_cap / Unique_del_cap |
| ► shmc | |
| ringbuf.h | |
| shmc.h | Shared memory library header file |
| ► sigma0 | |
| sigma0.h | Sigma0 interface |
| ► sys | |
| ► cxx | |
| capability.h | |
| consts | |
| ipc_array | |
| ipc_basics | |
| ipc_client | |
| ipc_epiface | |
| ipc_iface | Interface Definition Language |
| ipc_legacy | |
| ipc_ret_array | |
| ipc_server | |
| ipc_server_loop | |
| ipc_string | |
| ipc_types | |
| ipc_varg | |
| smart_capability_1x | |
| types | |
| __kernel_object_impl.h | |
| __ktrace-impl.h | L4 kernel event tracing |
| __l4_fpage.h | |
| __platform_control-arm.h | |
| __task-arm.h | |
| __timeout.h | |
| __typeinfo.h | Type information handling |
| __vcpu-arm.h | |
| __vm-arm.h | Virtualization interface |
| __vm-svm.h | |
| __vm-vmx.h | |
| arm_smccc | ARM secure monitor call functions |
| arm_smccc.h | ARM secure monitor call functions |
| assert.h | Low-level assert implementation |
| cache.h | Cache-consistency functions |
| capability | L4::Cap related definitions |
| compiler.h | L4 compiler related defines |
| consts.h | Common constants |
| debugger | The debugger interface specifies common debugging related definitions |
| debugger.h | Debugger related definitions |
| err.h | Error codes |
| exception | Exception C++ interface |
| factory | Common factory related definitions |
| factory.h | Common factory related definitions |
| icu | Interrupt controller |
| icu.h | Interrupt controller |
| iommu | |
| ipc.h | Common IPC interface |
| ipc_gate | The C++ IPC gate interface |
| ipc_gate.h | The C IPC gate interface, see L4::Ipc_gate for the C++ interface |
| irq | C++ Irq interface |
| irq.h | C Irq interface |
| kdebug.h | Functionality for invoking the kernel debugger |
| kdump.h | Functionality for dumping kernel information |
| kernel_object.h | Kernel object system calls |
| kip | |
| kip.h | Kernel Info Page access functions |
| kobject | |
| ktrace.h | L4 kernel event tracing |
| l4int.h | Fixed sized integer types, generic version |
| memdesc.h | Memory description functions |
| meta | Meta interface for getting dynamic type information about objects behind capabilities |
| obj_info.h | Debugger related functions |
| pager | Pager and Io_pager C++ interface |
| platform_control | Platform control object |
| platform_control.h | Platform control object |
| rcv_endpoint | The C++ Receive endpoint interface |
| rcv_endpoint.h | Receive endpoint C interface |
| scheduler | Scheduler object functions |
| scheduler.h | Scheduler object functions |
| semaphore | Semaphore class definition |
| semaphore.h | C semaphore interface |
| smart_capability | L4::Capability class |
| snd_destination | The C++ Sender destination interface |
| snd_destination.h | Sender destination endpoint C interface |
| task | Common task related definitions |
| task.h | Common task related definitions |
| thread | Common thread related definitions |
| thread.h | Common thread related definitions |
| thread_group | |
| thread_group.h | |
| typeinfo_svr | Type information server template |
| types.h | Common L4 ABI Data Types |
| utcb.h | UTCB definitions |
| vcon | C++ Virtual console interface |
| vcon.h | Virtual console interface |
| vcpu.h | VCPU API |
| vcpu_context | Hardware vCPU context interface |
| vcpu_context.h | |
| vm | Virtualization interface |
| ► util | |
| assert.h | Some useful assert-style macros |
| atomic.h | Atomic operations header and generic implementations |
| backtrace.h | Backtrace |
| base64.h | Base 64 encoding and decoding functions adapted from Bob Trower 08/04/01 |
| bitops.h | Bit manipulation functions |
| elf.h | ELF definition |
| getopt.h | Getopt |
| keymap.h | Event to ASCII key mapping |
| kip.h | |
| kprintf.h | Printf using the kernel debugger |
| l4_macros.h | Some useful generic macros, L4f version |
| l4mod.h | L4mod structures and constants |
| list_alloc.h | Simple list-based allocator |
| lock.h | Simple lock implementation |
| mb_info.h | Multiboot info structure as defined by GRUB |
| parse_cmd.h | Comfortable command-line parsing |
| rand.h | Simple Pseudo-Random Number Generator |
| splitlog2.h | Split a range in log2 aligned and size-aligned chunks |
| thread.h | Low-level Thread Functions |
| util.h | |
| ► vbus | |
| vbus | |
| vbus.h | Description of the vbus C API |
| vbus_generic | |
| vbus_gpio | |
| vbus_gpio-ops.h | |
| vbus_gpio.h | |
| vbus_i2c.h | |
| vbus_inhibitor.h | |
| vbus_interfaces.h | This header contains the definition of VBUS sub-interfaces and convenience functions to work with the interface IDs |
| vbus_mcspi.h | |
| vbus_pci | |
| vbus_pci-ops.h | |
| vbus_pci.h | |
| vbus_pm-ops.h | |
| vbus_pm.h | |
| vbus_types.h | This header file contains descriptions of vbus related data types and constants |
| vdevice-ops.h | |
| ► vcpu | |
| vcpu | VCPU support library (C++ interface) |
| vcpu.h | VCPU support library (C interface) |
| ▼ pkg | |
| ► drivers-frst | |
| ► include | |
| ► ARCH-amd64 | |
| asm_access.h | |
| ► ARCH-arm | |
| asm_access.h | |
| ► ARCH-arm64 | |
| asm_access.h | |
| ► ARCH-mips | |
| asm_access.h | |
| ► ARCH-ppc32 | |
| asm_access.h | |
| ► ARCH-riscv | |
| asm_access.h | |
| ► ARCH-sparc | |
| asm_access.h | |
| ► ARCH-x86 | |
| asm_access.h | |
| asm_access_gen.h | |
| hw_mmio_register_block | |
| hw_register_block | |
| io_regblock.h | |
| io_regblock_port.h | |
| Makefile | |
| poll_timeout_counter.h | |
| ► uart | |
| ► include | |
| Makefile | |
| uart_16550.h | |
| uart_16550_dw.h | |
| uart_apb.h | |
| uart_base.h | |
| uart_cadence.h | |
| uart_dcc-v6.h | |
| uart_dm.h | |
| uart_dummy.h | |
| uart_geni.h | |
| uart_imx.h | |
| uart_leon3.h | |
| uart_linflex.h | |
| uart_lpuart.h | |
| uart_mvebu.h | |
| uart_of.h | |
| uart_omap35x.h | |
| uart_pl011.h | |
| uart_s3c2410.h | |
| uart_sa1000.h | |
| uart_sbi.h | |
| uart_sh.h | |
| ► l4re-core | |
| ► ned | |
| ► doc | |
| tutorial.lua | |
| ► lib | |
| ► include | |
| cmd_control | |
| Makefile | |
| ► virtio-net-switch | |
| ► server | |
| ► switch | |
| debug.h | |
| filter.cc | |
| filter.h | |
| mac_addr.h | |
| mac_table.h | |
| main.cc | |
| Makefile | |
| options.cc | |
| options.h | |
| port.h | |
| port_ixl.h | |
| port_l4virtio.h | |
| request.h | |
| request_ixl.h | |
| request_l4virtio.h | |
| stats.h | |
| switch.cc | |
| switch.h | |
| virtio_net.h | |
| virtio_net_buffer.h | |
| vlan.h | |
| ▼ x86 | |
| ► l4 | |
| ► sys | |
| __kip-arch.h | |
| __vcpu-arch.h | X86-specific vCPU interface |
| cache.h | Cache functions |
| consts.h | Common L4 constants, x86 version |
| ipc-invoke.h | |
| ktrace_events.h | |
| l4int.h | Fixed sized integer types, x86 version |
| linkage.h | Linkage |
| segment.h | Segment handling (x86) |
| utcb.h | UTCB definitions for x86 |
| vm.h | |
| ► util | |
| bitops_arch.h | X86 bit manipulation functions |
| cpu.h | CPU related functions |
| irq.h | Some PIC and hardware interrupt related functions |
| l4_macros.h | Main function |
| mbi_argv.h | Command line handling |
| perform.h | Perfomance Monitoring using P5/P6 Measurement Counters |
| port_io.h | X86 port I/O |
| rdtsc.h | Timestamp counter related functions |
| spin.h | Spinning for x86 |
| ► l4f | |
| ► l4 | |
| ► sys | |
| ipc-l42-gcc3-nopic.h | |
| ipc.h | L4 IPC System Calls, x86 |
| segment.h | L4f-specific segment manipulation (x86) |
| ► util | |
| port_io.h | Port I/O functions |
