Barrelfish

File List

Here is a list of all documented files with brief descriptions:
include/lwipopts.hLwIP configuration file for Barrelfish
include/multicast.hShared data structure between the multicast domain and the monitor
include/omap44xx_map.hPhysical memory map for TI OMAP 44xx-series SoCs
include/acpi_client/acpi_client.hACPI RPC Client header file
include/arch/cc.hLwIP architecture configuration file for Barrelfish
include/arch/arm/barrelfish/bulk_transfer_arch.hUnidirectional bulk data transfer via shared memory
include/arch/arm/barrelfish/core_state_arch.h
include/arch/arm/barrelfish/cpu_arch.hArchitecture specific CPU bits
include/arch/arm/barrelfish/curdispatcher_arch.hDispatcher architecture-specific code
include/arch/arm/barrelfish/dispatcher_arch.hArchitecture specific dispatcher structure private to the user
include/arch/arm/barrelfish/invocations_arch.hLow-level capability invocations
include/arch/arm/barrelfish/lmp_chan_arch.h
include/arch/arm/barrelfish/pmap_arch.hPmap management wrappers
include/arch/arm/barrelfish/syscall_arch.hUser-side system call implementation
include/arch/arm/barrelfish_kpi/asm_inlines_arch.hSome arch specific asm inlines
include/arch/arm/barrelfish_kpi/cpu_arch.hArch specific CPU declarations
include/arch/arm/barrelfish_kpi/dispatcher_shared_arch.hArchitecture specific dispatcher struct shared between kernel and user
include/arch/arm/barrelfish_kpi/flags_arch.h
include/arch/arm/barrelfish_kpi/generic_arch.hGeneric include for a bunch of arch specific files
include/arch/arm/barrelfish_kpi/lmp_arch.hArch specific LMP declarations
include/arch/arm/barrelfish_kpi/paging_arch.hArch specific paging definitions
include/arch/arm/barrelfish_kpi/registers_arch.hArchitecture-specific registers code
include/arch/arm/barrelfish_kpi/registers_pushed_arm_v7m.hArchitecture-specific registers code Armv7-M automatically pushes some registers instead of banking them
include/arch/arm/barrelfish_kpi/spinlocks_arch.h
include/arch/arm/barrelfish_kpi/unknown_arch.hNot sure where to put these definitions
include/arch/arm/bench/bench_arch.hArch specific bench include
include/arch/scc/barrelfish/bulk_transfer_arch.hUnidirectional bulk data transfer via shared memory
include/arch/scc/barrelfish/cpu_arch.hArchitecture specific CPU bits
include/arch/x86/barrelfish/bulk_transfer_arch.hUnidirectional bulk data transfer via shared memory
include/arch/x86/barrelfish/core_state_arch.h
include/arch/x86/barrelfish/iocap_arch.hHigh-level capability helpers
include/arch/x86/barrelfish/ipi_notify.hBidirectional IPI signaling channel
include/arch/x86/barrelfish/perfmon.hIA32 performance monitoring
include/arch/x86/barrelfish_kpi/asm_inlines_arch.hSome arch specific asm inlines
include/arch/x86/barrelfish_kpi/perfmon.hPerformace monitoring support for x86\ This should be working on Intel and AMD platforms
include/arch/x86/barrelfish_kpi/perfmon_amd.hAMD performance monitoring infrastructure
include/arch/x86/barrelfish_kpi/spinlocks_arch.h
include/arch/x86/bench/bench_arch.hArch specific bench include
include/arch/x86_32/barrelfish/bulk_transfer_arch.hUnidirectional bulk data transfer via shared memory
include/arch/x86_32/barrelfish/core_state_arch.h
include/arch/x86_32/barrelfish/cpu_arch.hArchitecture specific CPU bits
include/arch/x86_32/barrelfish/curdispatcher_arch.hImplementation of curdispatcher
include/arch/x86_32/barrelfish/dispatcher_arch.hArchitecture specific dispatcher structure private to the user
include/arch/x86_32/barrelfish/invocations_arch.hLow-level capability invocations
include/arch/x86_32/barrelfish/lmp_chan_arch.h
include/arch/x86_32/barrelfish/pmap_arch.hPmap management wrappers
include/arch/x86_32/barrelfish/syscall_arch.hUser-side system call implementation
include/arch/x86_32/barrelfish_kpi/asm_inlines_arch.h
include/arch/x86_32/barrelfish_kpi/cpu_arch.hArch specific CPU declarations
include/arch/x86_32/barrelfish_kpi/dispatcher_shared_arch.hArchitecture specific dispatcher struct shared between kernel and user
include/arch/x86_32/barrelfish_kpi/eflags_arch.h
include/arch/x86_32/barrelfish_kpi/generic_arch.hGeneric include for a bunch of arch specific files
include/arch/x86_32/barrelfish_kpi/lmp_arch.hArch specific LMP declarations
include/arch/x86_32/barrelfish_kpi/paging_arch.hDefine generics for arch specific definitions
include/arch/x86_32/barrelfish_kpi/pic_arch.hX86-32 Position Independent code assembly support definitions
include/arch/x86_32/barrelfish_kpi/registers_arch.hArch independent accessor functions for use in generic code Generic include for kernel
include/arch/x86_32/barrelfish_kpi/shared_mem_arch.hScc shared memory
include/arch/x86_32/barrelfish_kpi/spinlocks_arch.h
include/arch/x86_32/barrelfish_kpi/syscall_overflows_arch.hStructures used to deal with overflows to the syscall arguments
include/arch/x86_32/bench/bench_arch.hArch specific bench include
include/arch/x86_64/barrelfish/bulk_transfer_arch.hUnidirectional bulk data transfer via shared memory
include/arch/x86_64/barrelfish/core_state_arch.h
include/arch/x86_64/barrelfish/cpu_arch.hArchitecture specific CPU bits
include/arch/x86_64/barrelfish/curdispatcher_arch.hImplementation of curdispatcher
include/arch/x86_64/barrelfish/dispatcher_arch.hArchitecture specific dispatcher structure private to the user
include/arch/x86_64/barrelfish/invocations_arch.hLow-level capability invocations
include/arch/x86_64/barrelfish/ldt.h"Public" interface to Barrelfish userland LDT
include/arch/x86_64/barrelfish/lmp_chan_arch.h
include/arch/x86_64/barrelfish/pmap_arch.hPmap management wrappers
include/arch/x86_64/barrelfish/syscall_arch.hUser-side system call implementation
include/arch/x86_64/barrelfish_kpi/asm_inlines_arch.h
include/arch/x86_64/barrelfish_kpi/cpu_arch.hArch specific CPU declarations
include/arch/x86_64/barrelfish_kpi/dispatcher_shared_arch.hArchitecture specific dispatcher struct shared between kernel and user
include/arch/x86_64/barrelfish_kpi/eflags_arch.h
include/arch/x86_64/barrelfish_kpi/generic_arch.hGeneric include for a bunch of arch specific files
include/arch/x86_64/barrelfish_kpi/lmp_arch.hArch specific LMP declarations
include/arch/x86_64/barrelfish_kpi/paging_arch.hDefine generics for arch specific definitions
include/arch/x86_64/barrelfish_kpi/registers_arch.hArch independent accessor functions for use in generic code Generic include for kernel
include/arch/x86_64/barrelfish_kpi/spinlocks_arch.h
include/arch/x86_64/bench/bench_arch.hArch specific bench include
include/arch/x86_64/concurrent/arch/cas.hCompare and set (cas) implementations
include/barrelfish/barrelfish.hTop-level header for convenient inclusion of standard libbarrelfish headers
include/barrelfish/bulk_transfer.hUnidirectional bulk data transfer via shared memory
include/barrelfish/caddr.hInline functions to allow manipulation of raw capability addresses
include/barrelfish/cap_predicates.hUserlevel capability predicates (to be generated by Hamlet)
include/barrelfish/capabilities.hBase capability/cnode handling functions
include/barrelfish/core_state.h
include/barrelfish/coreset.h
include/barrelfish/cspace.hFixed capability locations and badges for user-defined part of cspace
include/barrelfish/debug.hDebugging functions
include/barrelfish/deferred.hDeferred events (ie. timers)
include/barrelfish/dispatch.hThe API to lib/barrelfish/dispatch
include/barrelfish/dispatcher.hGeneric dispatcher structure private to the user
include/barrelfish/domain.h
include/barrelfish/event_mutex.hEvent mutex
include/barrelfish/event_queue.hEvent queue
include/barrelfish/except.hException handling
include/barrelfish/heap.hSimple heap allocator
include/barrelfish/idc.hIDC declarations common to all transports
include/barrelfish/idc_export.hIDC export declarations
include/barrelfish/lmp_chan.hBidirectional LMP channel
include/barrelfish/lmp_endpoints.hLMP endpoints declarations
include/barrelfish/memobj.hMemobj definitions
include/barrelfish/monitor_client.hClient for interacting with the monitor
include/barrelfish/morecore.h
include/barrelfish/msgbuf.hGeneric bag-o-bytes message format
include/barrelfish/multihop_chan.hBidirectional Multi-hop channel
include/barrelfish/net_constants.hFile to hold the constants needed by network stack across driver, userspace and control plane values
include/barrelfish/pmap.hGeneric pmap definitions
include/barrelfish/ram_alloc.hRAM allocator code (client-side) definitions
include/barrelfish/resource_ctrl.hResource control
include/barrelfish/slab.hSimple slab allocator
include/barrelfish/slot_alloc.hSlot allocator
include/barrelfish/static_assert.hTop-level header for convenient inclusion of standard libbarrelfish headers
include/barrelfish/sys_debug.hEssential capability definitions
include/barrelfish/syscalls.hUser-side system call wrappers
include/barrelfish/terminal.hTerminal emulator
include/barrelfish/thread_sync.hThread synchronization definitions
include/barrelfish/threads.hThreads
include/barrelfish/types.hDefinitions of standard Barrelfish userland types
include/barrelfish/ump_chan.hBidirectional UMP channel
include/barrelfish/ump_endpoint.hUMP endpoint declarations
include/barrelfish/ump_impl.hUser-space messaging (UMP, formerly URPC) data transport implementation
include/barrelfish/vregion.hVregion definitions
include/barrelfish/vspace.hVspace definitions
include/barrelfish/vspace_common.hCommon vspace library includes definitions
include/barrelfish/vspace_layout.hVspace_Layout definitions
include/barrelfish/vspace_mmu_aware.h
include/barrelfish/waitset.hWaitset and low-level event handling mechanism
include/barrelfish/waitset_chan.hWaitset interface to channel implementations
include/barrelfish_kpi/capabilities.hEssential capability definitions
include/barrelfish_kpi/cpu.hArchitecture specific CPU bits
include/barrelfish_kpi/dispatcher_handle.hDefine a generic handle for the numerous dispatchers types
include/barrelfish_kpi/dispatcher_shared.hGeneric dispatcher struct shared between kernel and user
include/barrelfish_kpi/domain_params.hInitial parameters passed to a domain
include/barrelfish_kpi/init.hInit user-space domain special structures
include/barrelfish_kpi/legacy_idc_buffer.hLegacy IDC buffer format. PLEASE DO NOT USE FOR ANY NEW CODE!
include/barrelfish_kpi/lmp.hLMP declarations
include/barrelfish_kpi/sys_debug.hEssential capability definitions
include/barrelfish_kpi/syscalls.hSystem call numbers
include/barrelfish_kpi/types.hDefinitions of standard Barrelfish types
include/barrelfish_kpi/vmkit.hInterface to shared data structures between the kernel and a VM monitor
include/bench/bench.hBench library
include/bfdmuxtools/bfdmux.hBfdmux twek options
include/bfdmuxtools/codegen.hCode synthesizer for bfdmux filters
include/bfdmuxtools/debug.hDebug makro definitions
include/bfdmuxtools/filter.hApplication registration API
include/bfdmuxtools/tools.hHeader file for helper and additional functions
include/bfdmuxvm/vm.hInterface for filter execution virtual machine
include/collections/flipbuffer.hBarrelfish collections library - flip buffer
include/collections/hash_table.hBarrelfish collections library hash table
include/collections/list.hBarrelfish collections library list data structure
include/collections/stack.hBarrelfish collections library stack
include/concurrent/linked_list.hA non-blocking linked list implementation, derived from Tim Harris' `pragmatic implementation`
include/contmng/contmng.hContinuation management
include/contmng/netbench.hLibrary for benchmarking the network related code
include/cpuid/cpuid_spaces.hAddress-space support for Mackerel CPUID device definitions
include/deputy/nodeputy.hMacros for disabling Deputy annotations
include/dist/args.hArgument processing for distributed services
include/dist/barrier.hSimple name-server based barriers
include/dist/service.hService helper functions
include/dist/start.hStartup code for distributed services
include/elf/elf.hELF file format definitions
include/flounder/flounder.hInterface Definition: Flounder base definitions
include/flounder/flounder_support.hPrototypes for use by flounder-generated stubs
include/flounder/flounder_support_caps.hFlounder support code for interconnects with indirect (via monitor) cap transfer
include/flounder/flounder_support_lmp.hPrototypes for use by flounder-generated stubs
include/flounder/flounder_support_ump.hPrototypes for use by flounder-generated stubs
include/getopt/getopt.hCommandline parameter parsing
include/hashtable/dictionary.hDictionary type
include/hashtable/hashtable.hHashtable headers
include/hashtable/multimap.hMultimap implementation
include/ipv4/lwip/autoip.h
include/lwip/dhcp.h
include/lwip/opt.h
include/lwip/snmp_asn1.h
include/lwip/snmp_msg.h
include/lwip/snmp_structs.h
include/lwip/sock_chan_support.hBarrelfish waitset and channel support for LWIP
include/mackerel/io.hMackerel I/O port support
include/mackerel/mackerel.hMackerel support
include/mm/mm.hMemory manager header
include/mm/slot_alloc.hSlot management for memory allocator
include/net_device_manager/net_device_manager.hHeader file for net_device_manager.h
include/net_device_manager/net_ports_service.hHeader file for net_ports services
include/net_queue_manager/net_queue_manager.hHeader file for net_queue_manager.h
include/netinet/in.h
include/netinet/ip.h
include/netinet/tcp.h
include/nfs/nfs.hNFS client definitions
include/octopus/barrier.hHeader file for barrier functions
include/octopus/capability_storage.hHeader file for capability storage
include/octopus/definitions.hContains definitions that need to be global
include/octopus/getset.hHeader file for the octopus get/set API
include/octopus/init.hHeader file for the octopus initialization/general functions
include/octopus/lock.hHeader file for lock related functions
include/octopus/octopus.hHeader file for the octopus client library
include/octopus/pubsub.hPublish/Subscribe header file
include/octopus/semaphores.hHeader file for the octopus semaphores API
include/octopus/trigger.hHeader file for triggers
include/octopus/parser/ast.hHeader file containing definitions for the record ast
include/octopus_server/debug.hDist2 Debug Macros
include/octopus_server/init.hHeader file for octopus server initialization
include/octopus_server/query.hOctopus Query Interface Header file
include/octopus_server/service.hOctopus service handler header file
include/pci/devids.hPCI vendor/device IDs
include/pci/mem.hHeader file for the driver's part of the PCI memory management
include/pci/pci.hPCI configuration library
include/pci/confspace/mackerelpci.hMackerel support for PCI config space
include/pci/confspace/pci_confspace.hPCI configuration space access
include/procon/procon.hProducer consumer library
include/spawndomain/getopt.hVery simple commandline argument parsing
include/spawndomain/spawndomain.hDomain spawn functionality
include/sys/_iovec.h
include/sys/_termios.h
include/sys/ioccom.h
include/sys/ioctl.h
include/sys/ttycom.h
include/target/arm/barrelfish/dispatcher_target.hArchitecture specific dispatcher structure private to the user
include/target/arm/barrelfish/pmap_target.hPmap definition common for the arm archs
include/target/arm/barrelfish_kpi/arm_core_data.hData sent to a newly booted x86 kernel
include/target/arm/barrelfish_kpi/dispatcher_shared_target.hArchitecture specific dispatcher struct shared between kernel and user
include/target/arm/barrelfish_kpi/paging_arm_v5.hPaging definitions for arm_v5
include/target/arm/barrelfish_kpi/paging_arm_v7.hPaging definitions for arm_v7
include/target/arm/barrelfish_kpi/paging_arm_v7m.hPaging definitions for arm_v7m. this reflects the page table entry format on the cortex-M3 on the pandaboard, which may not be the same as that of other armv7-m implementations (as the pure armv7-m specification does not define any kind of address translation mechanism) Alignment and size of tables is the same as for other armv7 architectures, but it lacks all permission bits, providing endianness control instead
include/target/x86/barrelfish/pmap_target.hPmap definition common for the x86 archs
include/target/x86/barrelfish_kpi/coredata_target.hData sent to a newly booted x86 kernel
include/target/x86_32/barrelfish/dispatcher_target.hArchitecture specific dispatcher structure private to the user
include/target/x86_32/barrelfish/pmap_target.hArch specific declerations that can be included by others
include/target/x86_32/barrelfish_kpi/dispatcher_shared_target.hArchitecture specific dispatcher struct shared between kernel and user
include/target/x86_32/barrelfish_kpi/paging_target.hArch specific definitions, can be included by others
include/target/x86_32/barrelfish_kpi/registers_target.hArch specific definition of the registers, can be included by anyone. Definitions shared by kernel and user
include/target/x86_64/barrelfish/dispatcher_target.hArchitecture specific dispatcher structure private to the user
include/target/x86_64/barrelfish/pmap_target.hArch specific declerations that can be included by others
include/target/x86_64/barrelfish_kpi/cpu_target.hArch specific CPU declarations
include/target/x86_64/barrelfish_kpi/dispatcher_shared_target.hArchitecture specific dispatcher struct shared between kernel and user
include/target/x86_64/barrelfish_kpi/paging_target.hArch specific definitions, can be included by others
include/target/x86_64/barrelfish_kpi/registers_target.hArch specific definition of the registers, can be included by anyone. Definitions shared by kernel and user
include/term/defs.hDefinitions shared between libterm_client and libterm_server
include/term/client/client.hNon-blocking I/O API for terminal client library
include/term/client/client_blocking.hBlocking I/O API for terminal client library
include/term/client/default_filters.hSet of default filters for terminal client library
include/term/client/default_triggers.hSet of default triggers for terminal client library
include/term/client/defs.hGeneral definitions for terminal client library
include/term/client/filter.hFilter API for terminal client library
include/term/client/session.hSession handling API for terminal client library
include/term/client/trigger.hTrigger API for terminal client library
include/term/server/server.hTerminal server library (libterm_server) API
include/timer/timer.hBarrelfish timer interface
include/trace/trace.hUser and kernel code definitions for system-wide tracing
include/tweed/tweed.hA simple work stealing library based upon both cilk and wool
kernel/capabilities.cKernel capability management implementation
kernel/dispatch.cKernel management of dispatchers (implementation)
kernel/gdb_stub.cArchitecture-independent parts of in-kernel GDB stub
kernel/microbenchmarks.cGeneric/base microbenchmark code
kernel/paging_generic.cKernel memory management
kernel/printf.cImplementations of printf and friends
kernel/schedule_rbed.cKernel scheduling policy: Rate-Based Earliest Deadline (RBED)
kernel/schedule_rr.cKernel round-robin scheduling policy
kernel/startup.cArchitecture-independent bootstrap code
kernel/stdlib.cStandard libc library functions
kernel/string.cImplementations of standard libc string functions
kernel/syscall.cArch-generic system calls implementation
kernel/timer.cSupport of one-shot timers
kernel/useraccess.cUser space memory access functions
kernel/wakeup.cDCB wakeup queue management
kernel/arch/arm/exec.cARM execution and miscellany
kernel/arch/arm/misc.cMiscellaneous kernel support code
kernel/arch/arm/phys_mmap.cRudimentary physical memory map implementation
kernel/arch/arm_gem5/gem5_serial.cARM GEM5 kernel-level serial driver. Implements the interface in /kernel/include/serial.h
kernel/arch/arm_gem5/pl011_uart.cARM pl011 UART kernel-level driver
kernel/arch/arm_gem5/start_aps.cStart the application processors
kernel/arch/armv5/cp15.cCache control routines for ARMv5
kernel/arch/armv5/gdb_arch.cX86-specific parts of in-kernel GDB stub
kernel/arch/armv5/kputchar.cThe world's simplest serial driver
kernel/arch/armv5/microbenchmarks.cArchitecture-specific microbenchmarks
kernel/arch/armv5/pl011_uart.cThe world's simplest serial driver
kernel/arch/armv7-m/exec.cARMv7-M upcalls
kernel/arch/armv7-m/init.cCortex-m3 CPU driver init code for the OMAP44xx series SoCs
kernel/arch/armv7/kputchar.cThe world's simplest serial driver
kernel/arch/armv7/multiboot.cMultiboot utility functions
kernel/arch/omap44xx/cortexm3_heteropanda.cHeteropanda-specific setup code assumes that there is a heteropanda_slave image, sets up the cortex-m3 processor by: loading and relocating the heteropanda_slave image into memory setting the clock signals for the MMU and processor setting up the L2 MMU TLB to contain the mappings necessary to bootstrap writing the necessary entries in the vectortable actually starting the processor
kernel/arch/omap44xx/init.cCPU driver init code for the OMAP44xx series SoCs. interface found in /kernel/include/serial.h
kernel/arch/omap44xx/omap_uart.cKernel serial driver for the OMAP44xx UARTs. Implements the interface found in /kernel/include/serial.h
kernel/arch/omap44xx/spinlock.cKernel driver for the spinlock module, used for serial output see OMAP4460 TRM chapter 21 for a functional description
kernel/arch/omap44xx/start_aps.cStart the application processors
kernel/arch/scc/rck.cRockcreek (RCK) configuration registers driver
kernel/arch/x86/apic.cIntel 64 local APIC driver
kernel/arch/x86/cmos.cCMOS RAM interface functions
kernel/arch/x86/conio.cText-mode video console output driver
kernel/arch/x86/debugregs.cX86 debug registers
kernel/arch/x86/ipi_notify.cInter-processor interrupt (IPI) notify mechanism
kernel/arch/x86/mcheck.cX86 machine check architecture initialisation / "driver"
kernel/arch/x86/misc.cMiscellaneous kernel support code
kernel/arch/x86/multiboot.cMultiboot utility functions
kernel/arch/x86/perfmon.cAMD performance monitoring infrastructure
kernel/arch/x86/perfmon_amd.cAMD performance monitoring infrastructure
kernel/arch/x86/perfmon_intel.cIntel 64 performance monitoring infrastructure
kernel/arch/x86/pic.cClassic 8259A PIC driver
kernel/arch/x86/pit.cX86 legacy timer driver (PIT)
kernel/arch/x86/rtc.cSimple RTC hardware clock access
kernel/arch/x86/serial.cPC16550 low-level kernel UART driver
kernel/arch/x86/start_aps.cStart the application processors
kernel/arch/x86/startup_x86.cX86 kernel bootup code
kernel/arch/x86/syscall.cArch-specific system calls implementation
kernel/arch/x86/timing.cTimer calibration and setting functions
kernel/arch/x86_32/debug.cKernel debugging functions
kernel/arch/x86_32/exec.cX86-64 execution and miscellany
kernel/arch/x86_32/gdb_arch.cX86-specific parts of in-kernel GDB stub
kernel/arch/x86_32/init.cX86-32 architecture initialization
kernel/arch/x86_32/irq.cX86-32 interrupt/exception handling utility functions
kernel/arch/x86_32/microbenchmarks.cArchitecture-specific microbenchmarks
kernel/arch/x86_32/page_mappings_arch.c
kernel/arch/x86_32/paging.cX86-32 kernel page-table setup
kernel/arch/x86_32/startup_arch.cX86_32 kernel bootup code
kernel/arch/x86_32/syscall.cSystem calls implementation
kernel/arch/x86_64/debug.cKernel debugging functions
kernel/arch/x86_64/exec.cX86-64 execution and miscellany
kernel/arch/x86_64/gdb_arch.cX86-specific parts of in-kernel GDB stub
kernel/arch/x86_64/init.cX86-64 architecture initialization
kernel/arch/x86_64/irq.cX86-64 interrupt/exception handling utility functions
kernel/arch/x86_64/microbenchmarks.cArchitecture-specific microbenchmarks
kernel/arch/x86_64/page_mappings_arch.c
kernel/arch/x86_64/paging.cX86-64 kernel page-table setup
kernel/arch/x86_64/startup_arch.cX86_64 kernel bootup code
kernel/arch/x86_64/syscall.cSystem calls implementation
kernel/arch/x86_64/vmkit.cVMKit Kernel interface
kernel/arch/xscale/ixp2800_uart.cThe world's simplest serial driver
kernel/arch/xscale/kputchar.cThe world's simplest serial driver
kernel/include/cap_predicates.hKernel capability predicates (to be generated by Hamlet)
kernel/include/capabilities.hKernel capability management
kernel/include/dispatch.hKernel management of dispatchers
kernel/include/diteinfo.hData sent to a newly booted SCC kernel by the bootloader
kernel/include/exec.hKernel execution and miscellany
kernel/include/gdb_stub.hHeader for generic GDB stub code
kernel/include/kernel.hStandard headers for kernel code
kernel/include/multiboot.hDefinition of multiboot header formats. Spec: http://www.gnu.org/software/grub/manual/multiboot/multiboot.html
kernel/include/paging_generic.hKernel memory management
kernel/include/paging_kernel_helper.hA paging helper file
kernel/include/schedule.hKernel scheduling API
kernel/include/serial.hArchitecture-independent interface to the kernel serial port subsystem
kernel/include/startup.hStartup prototypes
kernel/include/syscall.hArch-generic system calls implementation
kernel/include/timer.hHeader for one-shot timer support
kernel/include/useraccess.hUser space memory access functions
kernel/include/arch/armv5/arch_gdb_stub.hHeader for ARMv5-specific GDB stub code
kernel/include/arch/armv5/arm_hal.hHardware Abstraction Layer interface for ARM boards
kernel/include/arch/armv5/init.hARM architecture initialization
kernel/include/arch/armv5/kputchar.hA struct for all shared data between the kernels
kernel/include/arch/armv5/misc.hMiscellaneous architecture-specific functions
kernel/include/arch/armv5/offsets.hARM address space sizes and offsets
kernel/include/arch/armv5/paging_kernel_arch.hARM kernel page-table structures
kernel/include/arch/armv5/phys_mmap.hRudimentary physical memory map
kernel/include/arch/armv7-m/arch_gdb_stub.hHeader for ARMv5-specific GDB stub code
kernel/include/arch/armv7-m/arm_core_data.hData sent to a newly booted x86 kernel
kernel/include/arch/armv7-m/arm_hal.hHardware Abstraction Layer interface for ARMv7-M boards
kernel/include/arch/armv7-m/armv7_syscall.hArmv7-specific system calls implementation
kernel/include/arch/armv7-m/global.hA struct for all shared data between the kernels
kernel/include/arch/armv7-m/init.hARM architecture initialization
kernel/include/arch/armv7-m/kernel_multiboot.hRelay header for multiboot structures and kernel-specific function definitions
kernel/include/arch/armv7-m/kputchar.hA struct for all shared data between the kernels
kernel/include/arch/armv7-m/misc.hMiscellaneous architecture-specific functions
kernel/include/arch/armv7-m/offsets.hARM address space sizes and offsets
kernel/include/arch/armv7-m/paging_kernel_arch.hARM kernel page-table structures
kernel/include/arch/armv7-m/phys_mmap.hRudimentary physical memory map
kernel/include/arch/armv7-m/spinlock.hInterface for OMAP44XX hardware spinlock module
kernel/include/arch/armv7-m/start_aps.hDefinitions for the startup of application processors
kernel/include/arch/armv7-m/startup_arch.hStartup prototypes
kernel/include/arch/armv7/arch_gdb_stub.hHeader for ARMv5-specific GDB stub code
kernel/include/arch/armv7/arm_core_data.hData sent to a newly booted x86 kernel
kernel/include/arch/armv7/arm_hal.hHardware Abstraction Layer interface for ARM boards
kernel/include/arch/armv7/armv7_syscall.hArmv7-specific system calls implementation
kernel/include/arch/armv7/cortexm3_heteropanda.hHeader for heteropanda-specific setup code assumes that there is a heteropanda_slave image, sets up the cortex-m3 processor by: loading and relocating the heteropanda_slave image into memory setting the clock signals for the MMU and processor setting up the L2 MMU TLB to contain the mappings necessary to bootstrap writing the necessary entries in the vectortable actually starting the processor
kernel/include/arch/armv7/global.hA struct for all shared data between the kernels
kernel/include/arch/armv7/init.hARM architecture initialization
kernel/include/arch/armv7/kernel_multiboot.hRelay header for multiboot structures and kernel-specific function definitions
kernel/include/arch/armv7/kputchar.hA struct for all shared data between the kernels
kernel/include/arch/armv7/misc.hMiscellaneous architecture-specific functions
kernel/include/arch/armv7/offsets.hARM address space sizes and offsets
kernel/include/arch/armv7/paging_kernel_arch.hARM kernel page-table structures
kernel/include/arch/armv7/phys_mmap.hRudimentary physical memory map
kernel/include/arch/armv7/spinlock.hInterface for OMAP44XX hardware spinlock module
kernel/include/arch/armv7/start_aps.hDefinitions for the startup of application processors
kernel/include/arch/armv7/startup_arch.hStartup prototypes
kernel/include/arch/x86/apic.hHeader file for the APIC implementation
kernel/include/arch/x86/cmos.hCMOS memory interface
kernel/include/arch/x86/conio.hVGA console I/O
kernel/include/arch/x86/debug.hKernel debugging functions
kernel/include/arch/x86/debugregs.hX86 debug registers
kernel/include/arch/x86/global.hA struct for all shared data between the kernels
kernel/include/arch/x86/ia32_spaces.hAddress-space support for Mackerel IA32-MSR device definitions
kernel/include/arch/x86/kputchar.hKprintf support
kernel/include/arch/x86/perfmon.hPerformace monitoring support for x86\ This should be working on Intel and AMD platforms
kernel/include/arch/x86/perfmon_amd.hAMD performance monitoring infrastructure
kernel/include/arch/x86/perfmon_intel.hIntel 64 performance monitoring infrastructure
kernel/include/arch/x86/pic.hHeader file for classic 8259A PIC
kernel/include/arch/x86/pit.hX86 legacy timer driver (PIT)
kernel/include/arch/x86/rtc.hReal Time Clock Header File
kernel/include/arch/x86/start_aps.hDefinitions for the startup of application processors
kernel/include/arch/x86/startup_x86.hStartup prototypes
kernel/include/arch/x86/syscall.hX86-specific system calls implementation
kernel/include/arch/x86/timing.hTimer calibration and setting functions
kernel/include/arch/x86/x86.hX86 inline asm utilities and defines
kernel/include/arch/x86_32/arch_gdb_stub.hHeader for x86-specific GDB stub code
kernel/include/arch/x86_32/cpuid_spaces.hAddress-space support for Mackerel CPUID device definitions
kernel/include/arch/x86_32/fpu.hFPU lazy context switch support
kernel/include/arch/x86_32/ia32_spaces.hX86 inline asm utilities and defines
kernel/include/arch/x86_32/init.hX86-64 architecture initialization
kernel/include/arch/x86_32/irq.hX86-32 interrupt/exception handling
kernel/include/arch/x86_32/kernel_multiboot.hRelay header for multiboot structures and kernel-specific function definitions
kernel/include/arch/x86_32/kputchar.hA struct for all shared data between the kernels
kernel/include/arch/x86_32/misc.hMiscellaneous architecture-specific functions
kernel/include/arch/x86_32/offsets.h
kernel/include/arch/x86_32/paging_kernel_arch.hArchitecture specific kernel page table definitions
kernel/include/arch/x86_32/x86.hX86 inline asm utilities and defines
kernel/include/arch/x86_64/arch_gdb_stub.hHeader for x86-specific GDB stub code
kernel/include/arch/x86_64/cpuid_spaces.hAddress-space support for Mackerel CPUID device definitions
kernel/include/arch/x86_64/fpu.hFPU lazy context switch support
kernel/include/arch/x86_64/init.hX86-64 architecture initialization
kernel/include/arch/x86_64/irq.hX86-64 interrupt/exception handling
kernel/include/arch/x86_64/kernel_multiboot.hRelay header for multiboot structures and kernel-specific function definitions
kernel/include/arch/x86_64/kputchar.hA struct for all shared data between the kernels
kernel/include/arch/x86_64/misc.hMiscellaneous architecture-specific functions
kernel/include/arch/x86_64/offsets.h
kernel/include/arch/x86_64/paging_kernel_arch.hArchitecture specific kernel page table definitions
kernel/include/arch/x86_64/vmkit.hVMKit Kernel interface
kernel/include/arch/x86_64/x86.hX86 inline asm utilities and defines
kernel/include/arch/xscale/arch_gdb_stub.hHeader for ARMv5-specific GDB stub code
kernel/include/arch/xscale/arm_hal.hHardware Abstraction Layer interface for ARM boards
kernel/include/arch/xscale/init.hARM architecture initialization
kernel/include/arch/xscale/kputchar.hA struct for all shared data between the kernels
kernel/include/arch/xscale/misc.hMiscellaneous architecture-specific functions
kernel/include/arch/xscale/offsets.hARM address space sizes and offsets
kernel/include/arch/xscale/paging_kernel_arch.hARM kernel page-table structures
kernel/include/arch/xscale/phys_mmap.hRudimentary physical memory map
kernel/include/target/x86_32/offsets_target.hX86-32 address space sizes and offsets
kernel/include/target/x86_32/paging_kernel_target.hX86-32 kernel page-table structures
kernel/include/target/x86_64/offsets_target.hX86-64 address space sizes and offsets
kernel/include/target/x86_64/paging_kernel_target.hX86-64 kernel page-table structures
lib/acpi_client/acpi_client.cACPI RPC Client
lib/barrelfish/bulk_transfer.cUnidirectional bulk data transfer via shared memory
lib/barrelfish/capabilities.cCapability system user code
lib/barrelfish/coreset.cSimple coreset implementation
lib/barrelfish/debug.cDebugging functions
lib/barrelfish/deferred.cDeferred events (ie. timers)
lib/barrelfish/dispatch.cDispatcher implementation
lib/barrelfish/domain.cManage domain spanning cores
lib/barrelfish/event_mutex.cEvent mutex implementation
lib/barrelfish/event_queue.cEvent queue implementatino
lib/barrelfish/flounder_glue_binding.cGlue code for old deprecated IDC API
lib/barrelfish/flounder_support.cSupport code for Flounder-generated stubs
lib/barrelfish/heap.cSimple heap allocator
lib/barrelfish/idc.cCommon IDC code
lib/barrelfish/idc_export.cIDC export implementation
lib/barrelfish/init.cBarrelfish library initialization
lib/barrelfish/lmp_chan.cBidirectional LMP channel implementation
lib/barrelfish/lmp_endpoints.cManagement of incoming LMP endpoints
lib/barrelfish/monitor_client.cClient for interacting with the monitor
lib/barrelfish/morecore.cMorecore implementation for malloc
lib/barrelfish/msgbuf.cGeneric bag-o-bytes message format
lib/barrelfish/multihop_chan.cBidirectional Multi-hop channel implementation
lib/barrelfish/nameservice_client.cClient for interacting with the name service
lib/barrelfish/ram_alloc.cRAM allocator code (client-side)
lib/barrelfish/resource_ctrl.cClient for interacting with the monitor
lib/barrelfish/slab.cSimple slab allocator
lib/barrelfish/spawn_client.cClient for interacting with the spawn daemon on each core
lib/barrelfish/terminal.cTerminal emulator
lib/barrelfish/thread_sync.cThread synchronisation primitives
lib/barrelfish/threads.cThreads implementation
lib/barrelfish/trace.cThis file is a hack because essentially all subsystems need to link against these variables and putting them in lib/trace means linking everything against lib/trace
lib/barrelfish/ump_chan.cBidirectional UMP channel implementation
lib/barrelfish/ump_endpoint.cIncoming UMP endpoints
lib/barrelfish/waitset.cWaitset and low-level event handling mechanism
lib/barrelfish/arch/arm/dispatch.cDispatcher architecture-specific implementation
lib/barrelfish/arch/arm/pmap_arch.cPmap management
lib/barrelfish/arch/arm/sys_debug.cDebug system calls, user-side
lib/barrelfish/arch/x86/ipi_notify.cBidirectional IPI (inter-processor interrupt) signaling implementation
lib/barrelfish/arch/x86/perfmon.cIA32 performance monitoring
lib/barrelfish/arch/x86/tls.cABI support glue for thread-local storage
lib/barrelfish/arch/x86_32/debug.cArch specific debugging functions
lib/barrelfish/arch/x86_32/dispatch.cDispatcher architecture-specific implementation
lib/barrelfish/arch/x86_32/sys_debug.cDebug system calls, user-side
lib/barrelfish/arch/x86_32/syscalls.cUser-side system call implementation
lib/barrelfish/arch/x86_64/debug.cArch specific debugging functions
lib/barrelfish/arch/x86_64/dispatch.cDispatcher architecture-specific implementation
lib/barrelfish/arch/x86_64/ldt.cLocal descriptor table (LDT) management
lib/barrelfish/arch/x86_64/sys_debug.cDebug system calls, user-side
lib/barrelfish/arch/x86_64/syscalls.cUser-side system call implementation
lib/barrelfish/include/init.hBarrelfish library initialization
lib/barrelfish/include/waitset_chan_priv.hLibbarrelfish-private waitset interface to channel implementations
lib/barrelfish/include/arch/arm/arch/registers.hArchitecture-specific registers code
lib/barrelfish/include/arch/arm/arch/threads.hThreads architecture-specific code
lib/barrelfish/include/arch/x86_32/arch/fpu.hFPU accessor functions
lib/barrelfish/include/arch/x86_32/arch/registers.hArch independent accessor functions for use in generic code. Generic include for userland
lib/barrelfish/include/arch/x86_32/arch/threads.hThreads architecture-specific code
lib/barrelfish/include/arch/x86_64/arch/fpu.hFPU accessor functions
lib/barrelfish/include/arch/x86_64/arch/ldt.hLocal descriptor table (LDT) management
lib/barrelfish/include/arch/x86_64/arch/registers.hArch independent accessor functions for use in generic code. Generic include for userland
lib/barrelfish/include/arch/x86_64/arch/threads.hThreads architecture-specific code
lib/barrelfish/include/target/x86/pmap_x86.hPmap definition common for the x86 archs, but private to libbarrelfish
lib/barrelfish/include/target/x86_32/registers_target.hArch specific definition of the registers, can be included by anyone. Definitions only seen in the user
lib/barrelfish/include/target/x86_64/registers_target.hArch specific definition of the registers, can be included by anyone. Definitions only seen in the user
lib/barrelfish/slot_alloc/internal.hInternal functions
lib/barrelfish/slot_alloc/multi_slot_alloc.cSlot allocator for two layers of cnodes
lib/barrelfish/slot_alloc/range_slot_alloc.cSlot allocator capable of allocating more than one slot at a time
lib/barrelfish/slot_alloc/single_slot_alloc.cSlot allocator for a single cnode
lib/barrelfish/slot_alloc/slot_alloc.cSlot allocator wrapper
lib/barrelfish/target/x86/pmap_x86.cPmap code common for x86 archs
lib/barrelfish/target/x86_32/pmap_target.cPmap management
lib/barrelfish/target/x86_64/pmap_target.cPmap management
lib/barrelfish/vspace/memobj_anon.cMemory object of anonymous type. The object maintains a list of frames
lib/barrelfish/vspace/memobj_one_frame.cMemory object of type single frame
lib/barrelfish/vspace/memobj_one_frame_lazy.cMemory object which maintains a single frame that is lazily mapped
lib/barrelfish/vspace/memobj_one_frame_one_map.cMemory object that maintains a single frame and can be mapped once
lib/barrelfish/vspace/memobj_pinned.cMemory object that only supports pinned memory. It does not track the frames that are mapped in so they cannot be unpinned. This can only be mapped into one vregion
lib/barrelfish/vspace/mmu_aware.cCreates mapping based on the MMU type
lib/barrelfish/vspace/pinned.cManaging the pinned memory for vspace metadata
lib/barrelfish/vspace/utils.cHelpful utility functions
lib/barrelfish/vspace/vregion.cVregion management
lib/barrelfish/vspace/vspace.cVspace management
lib/barrelfish/vspace/vspace_internal.hInternal functions for the vspace library
lib/barrelfish/vspace/arch/arm/layout.c
lib/barrelfish/vspace/arch/x86_32/layout.c
lib/barrelfish/vspace/arch/x86_64/layout.c
lib/bench/bench.cBench library initialization
lib/bench/arch/arm/bench_arch.cBench library initialization
lib/bench/arch/x86/bench_arch.cBench library initialization
lib/bfdmuxtools/codegen.cCode synthesizer for bfdmux filters
lib/bfdmuxtools/opdefs.cBfdmux core functionality
lib/bfdmuxtools/opdefs.hHeader file for opcode definitions
lib/bfdmuxtools/tools.cHelper functoin and additional tools used by libbfdmux
lib/bfdmuxvm/vm.cImplements a virtual machine for executing compiled intermediate language byte code
lib/bomp/backend.hDeclerations of functions that differ in implementation between linux and barrelfish
lib/bomp/bf_backend.cImplementation of backend functions on barrelfish
lib/bomp/libbomp.hBOMP Standard include
lib/bomp/linux_backend.cImplementation of backend functions on Linux
lib/bomp/omp.cAPI to use the bomp library
lib/bomp/omp.hInclude to use the bomp library
lib/bomp/parallel.cDecleration of functions that gcc pragmas calls
lib/bomp/processing.c
lib/bomp/spin.hSpinning synchronizations
lib/collections/hash_table.cBarrelfish collections library hash table
lib/collections/list.cBarrelfish collections library list data structure
lib/collections/stack.cBarrelfish collections library stack
lib/concurrent/linked_list.cA non-blocking linked list implementation, derived from Tim Harris' `pragmatic implementation`
lib/contmng/contmng.cE1000 continuation management
lib/contmng/netbench.cLibrary for benchmarking the network related code
lib/cpio/cpiobin.cCPIO archive reader routines for newc/crc/bin variants
lib/crt/crtbegin.cC++ startup code. Contains .ctors section header and _main()
lib/crt/crtend.cC++ startup code. Contains .ctors section footer and ABI support
lib/dist/args.cArgument processing for distributed services
lib/dist/barrier.cSimple name-server based barriers
lib/dist/service.cService helper functions
lib/dist/skb.cCalling and processing results from SKB
lib/dist/skb.hCalling and processing results from SKB
lib/dist/start.cStartup code for distributed services
lib/elf/elf.cRudimentary ELF loader and handling routines
lib/elf/elf32.cRudimentary ELF32 loader and handling routines
lib/elf/elf64.cRudimentary ELF64 loader and handling routines
lib/getopt/getopt.cCommandline parameter parsing
lib/hashtable/hashtable.cHashtable implementation
lib/lwip/src/api/api_lib.c
lib/lwip/src/api/api_msg.c
lib/lwip/src/api/err.c
lib/lwip/src/api/netbuf.c
lib/lwip/src/api/netdb.c
lib/lwip/src/api/netifapi.c
lib/lwip/src/api/sockets.c
lib/lwip/src/api/tcpip.c
lib/lwip/src/barrelfish/idc_barrelfish.cDatapath Communication between LWIP and network driver
lib/lwip/src/barrelfish/idc_barrelfish.hHeader file for the interfaceing part to the network driver
lib/lwip/src/barrelfish/idc_net_control.cCommunication between LWIP and net_ports deamon
lib/lwip/src/barrelfish/mem_barrelfish.cBuffer memory for LWIP using caps
lib/lwip/src/barrelfish/mem_barrelfish.hBuffer memory for LWIP using caps
lib/lwip/src/core/dhcp.c
lib/lwip/src/core/dns.c
lib/lwip/src/core/init.c
lib/lwip/src/core/mem.c
lib/lwip/src/core/memp.c
lib/lwip/src/core/netif.c
lib/lwip/src/core/pbuf.c
lib/lwip/src/core/raw.c
lib/lwip/src/core/stats.c
lib/lwip/src/core/sys.c
lib/lwip/src/core/tcp.c
lib/lwip/src/core/tcp_in.c
lib/lwip/src/core/tcp_out.c
lib/lwip/src/core/udp.c
lib/lwip/src/core/ipv4/autoip.c
lib/lwip/src/core/ipv4/icmp.c
lib/lwip/src/core/ipv4/igmp.c
lib/lwip/src/core/ipv4/inet.c
lib/lwip/src/core/ipv4/inet_chksum.c
lib/lwip/src/core/ipv4/ip.c
lib/lwip/src/core/ipv4/ip_addr.c
lib/lwip/src/core/ipv4/ip_frag.c
lib/lwip/src/core/ipv6/inet6.c
lib/lwip/src/core/snmp/asn1_dec.c
lib/lwip/src/core/snmp/asn1_enc.c
lib/lwip/src/core/snmp/mib2.c
lib/lwip/src/core/snmp/mib_structs.c
lib/lwip/src/core/snmp/msg_in.c
lib/lwip/src/core/snmp/msg_out.c
lib/lwip/src/netif/bfeth.c
lib/lwip/src/netif/etharp.c
lib/lwip/src/netif/ethernetif.c
lib/lwip/src/netif/loopif.c
lib/lwip/src/netif/slipif.c
lib/mdb/mdb.c
lib/mm/mm.cMemory manager
lib/mm/slot_alloc.cSlot management for the memory allocator
lib/net_device_manager/portalloc.cPort allocator for netd
lib/net_device_manager/portalloc.hPort allocator for netd
lib/net_queue_manager/frag.cIntel e1000 driver fragmentation support
lib/net_queue_manager/QM_benchmark.cA support file holding benchmark and debug related code
lib/net_queue_manager/queue_manager.cGeneric server part for most ethernet drivers. Current drivers using this server code are -- e1000n -- rtl8029 -- eMAC
lib/newlib/newlib/libc/sys/barrelfish/oldsys_morecore.cMorecore() is a sbrk() equivalent
lib/nfs/nfs.cNFS client
lib/nfs/rpc.cRPC implementation
lib/nfs/rpc.hRPC definitions
lib/nfs/xdr_pbuf.cXDR implementation using LWIP PBuf structures
lib/nfs/xdr_pbuf.hXDR implementation using LWIP PBuf structures
lib/octopus/client/barriers.cBarrier client API implementation
lib/octopus/client/capability_storage.cFunctions for capability storage. This was moved here from barrelfish/nameservice_client.c
lib/octopus/client/common.hContains common functions/macros/defines used throughout the octopus client library
lib/octopus/client/getset.cGet/Set client API implementation
lib/octopus/client/handler.hHandler functions for incoming messages
lib/octopus/client/locking.cImplementation of a synchronous locking API using the octopus Interface
lib/octopus/client/octopus.cInitialization functions for the octopus client library
lib/octopus/client/pubsub.cPublish/Subscribe client API implementation
lib/octopus/client/semaphores.cSemaphore API Implementation
lib/octopus/client/trigger.cHandler function for asynchronous triggers sent by server
lib/octopus/parser/ast.cFunction to generate/manipulate abstract syntax tree for records
lib/octopus/parser/read.cHelper functions to read record contents
lib/octopus/parser/test_parser.cUse this file for quick parser tests on your machine
lib/octopus/server/capstorage.cSimple capability storage
lib/octopus/server/init.cCode to initialize the octopus server
lib/octopus/server/queue.cQueue to deal with flounder continuations
lib/octopus/server/queue.hQueue for stack-ripped octopus server-side handler code
lib/octopus/server/service.cContains handler functions for server-side octopus interface RPC call
lib/oldc/src/sys-barrelfish/icc.cSupport code for the Intel compiler
lib/oldc/src/sys-barrelfish/sys_abort.cStandard libc abort function
lib/oldc/src/sys-barrelfish/sys_exit.cLow-level exit domain
lib/oldc/src/sys-barrelfish/sys_morecore.cMorecore() is a sbrk() equivalent
lib/oldc/src/sys-barrelfish/sys_stdio.cLibc stdio (debug streams)
lib/oldc/src/sys-barrelfish/sys_tmpfile.cStandard libc tmpfile function
lib/openssl-1.0.0d/crypto/ec/ec.h
lib/openssl-1.0.0d/crypto/ecdsa/ecdsa.h
lib/openssl-1.0.0d/ssl/ssl_cert.c
lib/openssl-1.0.0d/ssl/ssl_lib.cVersion independent SSL functions
lib/pci/pci_client.cPCI service client-side logic
lib/pci/confspace/pci_confspace.cPCI configuration library
lib/pci/confspace/pcie_confspace.cPCI configuration space access
lib/posixcompat/pty.cPosix pseudo terminal implementation
lib/procon/procon.cProducer consumer library
lib/rcce/bcast.cRCCE library
lib/rcce/internal.hRCCE library
lib/rcce/rcce.cRCCE library
lib/rcce/ring_barriers.c
lib/skb/helper.cSKB helper functions
lib/skb/skb.cSKB connection
lib/skb/skb_functions.cSKB library functions
lib/spawndomain/arch.h
lib/spawndomain/getopt.cSomewhat simple commandline argument parsing
lib/spawndomain/multiboot.c
lib/spawndomain/spawn.cFunctionality to spawn domains
lib/spawndomain/spawn.h
lib/spawndomain/spawn_vspace.cCode for managing VSpace of a new domain when it is spawned
lib/spawndomain/arch/arm/spawn_arch.cFunctionality to spawn domains
lib/spawndomain/arch/x86/spawn_arch.cFunctionality to spawn domains
lib/term/client/client.cNon-blocking I/O API for terminal client library
lib/term/client/client_blocking.cBlocking I/O API for terminal client library
lib/term/client/default_filters.cSet of default filters for terminal client library
lib/term/client/default_triggers.cSet of default triggers for the terminal client library
lib/term/client/filter.cFilter API for terminal client library
lib/term/client/filter_priv.hPrivate filter header
lib/term/client/session.cSession handling API for terminal client library
lib/term/client/trigger.cTrigger API for terminal client library
lib/term/client/trigger_priv.hPrivate trigger header
lib/term/server/server.cTerminal server library (libterm_server) implementation
lib/timer/timer.cGeneric timer library
lib/trace/control.cSystem-wide tracing
lib/trace/trace.cSystem-wide tracing
lib/tweed/tweed.cA simple work stealing library based upon both cilk and wool
lib/vfs/cache.cVFS buffer cache
lib/vfs/mmap.cHacky MMAP support for VFS
lib/vfs/vfs_path.cVFS-related path manipulation