File List

Here is a list of all documented files with brief descriptions:

[detail level 123456]

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
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
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