Loading...
Searching...
No Matches
File List
Here is a list of all documented files with brief descriptions:

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 |
numeric |
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-gpio-device |
virtio-i2c-device |
virtio-rng-device |
virtio-scmi-device |
l4virtio |
virtio.h |
virtio_block.h |
virtio_input.h |
virtio_net.h |
virtqueue |
libedid |
edid.h |
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
printf_helpers.h |
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 |
uart_sifive.h |
uart_tegra-tcu.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