| ► include | |
| ► acpi_client | |
| acpi_client.h | ACPI RPC Client header file |
| ► arch | |
| ► aarch64 | |
| ► barrelfish | |
| bulk_transfer_arch.h | Unidirectional bulk data transfer via shared memory |
| core_state_arch.h | |
| cpu_arch.h | Architecture specific CPU bits |
| curdispatcher_arch.h | Dispatcher architecture-specific code |
| dispatcher_arch.h | Architecture specific dispatcher structure private to the user |
| invocations_arch.h | Low-level capability invocations |
| lmp_chan_arch.h | |
| pmap_arch.h | Pmap management wrappers |
| syscall_arch.h | User-side system call implementation |
| ► barrelfish_kpi | |
| asm_inlines_arch.h | Some arch specific asm inlines |
| cpu_arch.h | Arch specific CPU declarations |
| dispatcher_shared_arch.h | Architecture specific dispatcher struct shared between kernel and user |
| flags_arch.h | |
| generic_arch.h | Generic include for a bunch of arch specific files |
| lmp_arch.h | Arch specific LMP declarations |
| paging_arch.h | Arch specific paging definitions |
| registers_arch.h | Architecture-specific registers code |
| spinlocks_arch.h | |
| unknown_arch.h | Not sure where to put these definitions |
| ► bench | |
| bench_arch.h | Arch specific bench include |
| ► arm | |
| ► barrelfish | |
| bulk_transfer_arch.h | Unidirectional bulk data transfer via shared memory |
| core_state_arch.h | |
| cpu_arch.h | Architecture specific CPU bits |
| curdispatcher_arch.h | Dispatcher architecture-specific code |
| dispatcher_arch.h | Architecture specific dispatcher structure private to the user |
| invocations_arch.h | Low-level capability invocations |
| lmp_chan_arch.h | |
| pmap_arch.h | Pmap management wrappers |
| syscall_arch.h | User-side system call implementation |
| ► barrelfish_kpi | |
| asm_inlines_arch.h | Some arch specific asm inlines |
| cpu_arch.h | Arch specific CPU declarations |
| dispatcher_shared_arch.h | Architecture specific dispatcher struct shared between kernel and user |
| flags_arch.h | |
| generic_arch.h | Generic include for a bunch of arch specific files |
| lmp_arch.h | Arch specific LMP declarations |
| paging_arch.h | Arch specific paging definitions |
| registers_arch.h | Architecture-specific registers code |
| spinlocks_arch.h | Very simple ARMv7a spinlocks |
| unknown_arch.h | Not sure where to put these definitions |
| ► bench | |
| bench_arch.h | Arch specific bench include |
| ► x86 | |
| ► barrelfish | |
| bulk_transfer_arch.h | Unidirectional bulk data transfer via shared memory |
| core_state_arch.h | |
| iocap_arch.h | High-level capability helpers |
| ipi_notify.h | Bidirectional IPI signaling channel |
| perfmon.h | IA32 performance monitoring |
| ► barrelfish_kpi | |
| asm_inlines_arch.h | Some arch specific asm inlines |
| perfmon.h | Performace monitoring support for x86\ This should be working on Intel and AMD platforms |
| perfmon_amd.h | AMD performance monitoring infrastructure |
| spinlocks_arch.h | |
| ► bench | |
| bench_arch.h | Arch specific bench include |
| ► x86_32 | |
| ► barrelfish | |
| bulk_transfer_arch.h | Unidirectional bulk data transfer via shared memory |
| core_state_arch.h | |
| cpu_arch.h | Architecture specific CPU bits |
| curdispatcher_arch.h | Implementation of curdispatcher |
| dispatcher_arch.h | Architecture specific dispatcher structure private to the user |
| invocations_arch.h | Low-level capability invocations |
| lmp_chan_arch.h | |
| pmap_arch.h | Pmap management wrappers |
| syscall_arch.h | User-side system call implementation |
| ► barrelfish_kpi | |
| asm_inlines_arch.h | |
| cpu_arch.h | Arch specific CPU declarations |
| dispatcher_shared_arch.h | Architecture specific dispatcher struct shared between kernel and user |
| eflags_arch.h | |
| generic_arch.h | Generic include for a bunch of arch specific files |
| lmp_arch.h | Arch specific LMP declarations |
| paging_arch.h | Define generics for arch specific definitions |
| pic_arch.h | X86-32 Position Independent code assembly support definitions |
| registers_arch.h | Arch independent accessor functions for use in generic code Generic include for kernel |
| spinlocks_arch.h | |
| syscall_overflows_arch.h | Structures used to deal with overflows to the syscall arguments |
| ► bench | |
| bench_arch.h | Arch specific bench include |
| ► x86_64 | |
| ► barrelfish | |
| bulk_transfer_arch.h | Unidirectional bulk data transfer via shared memory |
| core_state_arch.h | |
| cpu_arch.h | Architecture specific CPU bits |
| curdispatcher_arch.h | Implementation of curdispatcher |
| dispatcher_arch.h | Architecture specific dispatcher structure private to the user |
| invocations_arch.h | Arch-specific Low-level capability invocations |
| ldt.h | "Public" interface to Barrelfish userland LDT |
| lmp_chan_arch.h | |
| pmap_arch.h | Pmap management wrappers |
| syscall_arch.h | User-side system call implementation |
| ► barrelfish_kpi | |
| asm_inlines_arch.h | |
| cpu_arch.h | Arch specific CPU declarations |
| dispatcher_shared_arch.h | Architecture specific dispatcher struct shared between kernel and user |
| eflags_arch.h | |
| generic_arch.h | Generic include for a bunch of arch specific files |
| lmp_arch.h | Arch specific LMP declarations |
| paging_arch.h | Define generics for arch specific definitions |
| registers_arch.h | Arch independent accessor functions for use in generic code Generic include for kernel |
| spinlocks_arch.h | |
| ► bench | |
| bench_arch.h | Arch specific bench include |
| ► concurrent | |
| ► arch | |
| cas.h | Compare and set (cas) implementations |
| cc.h | LwIP architecture configuration file for Barrelfish |
| ► barrelfish | |
| barrelfish.h | Top-level header for convenient inclusion of standard libbarrelfish headers |
| bulk_transfer.h | Unidirectional bulk data transfer via shared memory |
| caddr.h | Inline functions to allow manipulation of raw capability addresses |
| cap_predicates.h | Userlevel capability predicates (to be generated by Hamlet) |
| capabilities.h | Base capability/cnode handling functions |
| core_state.h | |
| coreset.h | |
| cspace.h | Fixed capability locations and badges for user-defined part of cspace |
| debug.h | Debugging functions |
| deferred.h | Deferred events (ie. timers) |
| dispatch.h | The API to lib/barrelfish/dispatch |
| dispatcher.h | Generic dispatcher structure private to the user |
| domain.h | |
| event_mutex.h | Event mutex |
| event_queue.h | Event queue |
| except.h | Exception handling |
| heap.h | Simple heap allocator |
| idc.h | IDC declarations common to all transports |
| idc_export.h | IDC export declarations |
| invocations.h | Architecture independent capability invocations |
| lmp_chan.h | Bidirectional LMP channel |
| lmp_endpoints.h | LMP endpoints declarations |
| memobj.h | Memobj definitions |
| monitor_client.h | Client for interacting with the monitor |
| morecore.h | |
| msgbuf.h | Generic bag-o-bytes message format |
| multihop_chan.h | Bidirectional Multi-hop channel |
| net_constants.h | File to hold the constants needed by network stack across driver, userspace and control plane values |
| pmap.h | Generic pmap definitions |
| ram_alloc.h | RAM allocator code (client-side) definitions |
| resource_ctrl.h | Resource control |
| slab.h | Simple slab allocator |
| slot_alloc.h | Slot allocator |
| static_assert.h | Top-level header for convenient inclusion of standard libbarrelfish headers |
| sys_debug.h | Essential capability definitions |
| syscalls.h | User-side system call wrappers |
| systime.h | System time |
| terminal.h | Terminal emulator |
| thread_sync.h | Thread synchronization definitions |
| threads.h | Threads |
| types.h | Definitions of standard Barrelfish userland types |
| ump_chan.h | Bidirectional UMP channel |
| ump_endpoint.h | UMP endpoint declarations |
| ump_impl.h | User-space messaging (UMP, formerly URPC) data transport implementation |
| vregion.h | Vregion definitions |
| vspace.h | Vspace definitions |
| vspace_common.h | Common vspace library includes definitions |
| vspace_layout.h | Vspace_Layout definitions |
| vspace_mmu_aware.h | |
| waitset.h | Waitset and low-level event handling mechanism |
| waitset_chan.h | Waitset interface to channel implementations |
| ► barrelfish_kpi | |
| capabilities.h | Essential capability definitions |
| cpu.h | Architecture specific CPU bits |
| dispatcher_handle.h | Define a generic handle for the numerous dispatchers types |
| dispatcher_shared.h | Generic dispatcher struct shared between kernel and user |
| domain_params.h | Initial parameters passed to a domain |
| init.h | Init user-space domain special structures |
| legacy_idc_buffer.h | Legacy IDC buffer format. PLEASE DO NOT USE FOR ANY NEW CODE! |
| lmp.h | LMP declarations |
| platform.h | Platform information declarations :qa |
| sys_debug.h | Essential capability definitions |
| syscalls.h | System call numbers |
| types.h | Definitions of standard Barrelfish types |
| vmkit.h | Interface to shared data structures between the kernel and a VM monitor |
| vmx_controls.h | Contains definitions of VMX controls along with the controls that are desired to be used for each VMCS |
| ► bench | |
| bench.h | Bench library |
| ► bfdmuxtools | |
| bfdmux.h | Bfdmux twek options |
| codegen.h | Code synthesizer for bfdmux filters |
| debug.h | Debug makro definitions |
| filter.h | Application registration API |
| tools.h | Header file for helper and additional functions |
| ► bfdmuxvm | |
| vm.h | Interface for filter execution virtual machine |
| ► bulk_transfer | |
| bulk_allocator.h | Allocator for managing buffers in a bulk transfer pool |
| bulk_local.h | Unidirectional bulk data transfer via shared memory |
| bulk_net.h | Unidirectional bulk data transfer via shared memory |
| bulk_net_proxy.h | Proxy for connecting bulk transfer channels over a network connection |
| bulk_sm.h | Unidirectional bulk data transfer via shared memory |
| bulk_transfer.h | Generic bulk data transfer mechanism |
| ► collections | |
| flipbuffer.h | Barrelfish collections library - flip buffer |
| hash_table.h | Barrelfish collections library hash table |
| list.h | Barrelfish collections library list data structure |
| stack.h | Barrelfish collections library stack |
| ► concurrent | |
| linked_list.h | A non-blocking linked list implementation, derived from Tim Harris' pragmatic implementation |
| ► contmng | |
| contmng.h | Continuation management |
| ► cpuid | |
| cpuid_spaces.h | Address-space support for Mackerel CPUID device definitions |
| ► deputy | |
| nodeputy.h | Macros for disabling Deputy annotations |
| ► dist | |
| args.h | Argument processing for distributed services |
| barrier.h | Simple name-server based barriers |
| service.h | Service helper functions |
| start.h | Startup code for distributed services |
| ► elf | |
| elf.h | ELF file format definitions |
| ► flounder | |
| flounder.h | Interface Definition: Flounder base definitions |
| flounder_support.h | Prototypes for use by flounder-generated stubs |
| flounder_support_caps.h | Flounder support code for interconnects with indirect (via monitor) cap transfer |
| flounder_support_lmp.h | Prototypes for use by flounder-generated stubs |
| flounder_support_ump.h | Prototypes for use by flounder-generated stubs |
| ► getopt | |
| getopt.h | Commandline parameter parsing |
| ► hashtable | |
| dictionary.h | Dictionary type |
| hashtable.h | Hashtable headers |
| multimap.h | Multimap implementation |
| ► int_route | |
| int_route_client.h | Interrupt routing server header file |
| int_route_server.h | Interrupt routing server header file |
| ► mackerel | |
| io.h | Mackerel I/O port support |
| mackerel.h | Mackerel support |
| ► maps | |
| a15mpcore_map.h | Private memory region layout for the Cortex-A15 MPCore |
| a53mpcore_map.h | Private memory region layout for the Cortex-A57 MPCore |
| a57mpcore_map.h | Private memory region layout for the Cortex-A57 MPCore |
| a72mpcore_map.h | Private memory region layout for the Cortex-A57 MPCore |
| a9mpcore_map.h | Private memory region layout for the Cortex-A9 MPCore |
| cn88xx.h | Physical address map for Cavium ThunderX CN88xx SoCs |
| omap44xx_map.h | Physical memory map for TI OMAP 44xx-series SoCs |
| vexpress_map.h | Physical memory map for the Versatile Express motherboard |
| ► mm | |
| mm.h | Memory manager header |
| slot_alloc.h | Slot management for memory allocator |
| ► net_device_manager | |
| net_device_manager.h | Header file for net_device_manager.h |
| net_ports_service.h | Header file for net_ports services |
| ► net_queue_manager | |
| net_queue_manager.h | Header file for net_queue_manager.h |
| ► netbench | |
| netbench.h | Library for benchmarking the network related code |
| ► netd | |
| netd.h | Main header file for the net "daemon" |
| ► nfs | |
| nfs.h | NFS client definitions |
| ► octopus | |
| ► parser | |
| ast.h | Header file containing definitions for the record ast |
| barrier.h | Header file for barrier functions |
| capability_storage.h | Header file for capability storage |
| definitions.h | Contains definitions that need to be global |
| getset.h | Header file for the octopus get/set API |
| init.h | Header file for the octopus initialization/general functions |
| lock.h | Header file for lock related functions |
| octopus.h | Header file for the octopus client library |
| pubsub.h | Publish/Subscribe header file |
| semaphores.h | Header file for the octopus semaphores API |
| trigger.h | Header file for triggers |
| ► octopus_server | |
| debug.h | Dist2 Debug Macros |
| init.h | Header file for octopus server initialization |
| query.h | Octopus Query Interface Header file |
| service.h | Octopus service handler header file |
| ► pci | |
| ► confspace | |
| mackerelpci.h | Mackerel support for PCI config space |
| pci_confspace.h | PCI configuration space access |
| devids.h | PCI vendor/device IDs |
| mem.h | Header file for the driver's part of the PCI memory management |
| pci.h | PCI configuration library |
| ► procon | |
| procon.h | Producer consumer library |
| ► spawndomain | |
| getopt.h | Very simple commandline argument parsing |
| spawndomain.h | Domain spawn functionality |
| ► sys | |
| _iovec.h | |
| _termios.h | |
| ttycom.h | |
| ► target | |
| ► aarch64 | |
| ► barrelfish | |
| dispatcher_target.h | Architecture specific dispatcher structure private to the user |
| pmap_target.h | Pmap definition common for the AARCH64 archs |
| ► barrelfish_kpi | |
| arm_core_data.h | Data sent to a newly booted kernel |
| dispatcher_shared_target.h | Architecture specific dispatcher struct shared between kernel and user |
| ► arm | |
| ► barrelfish | |
| dispatcher_target.h | Architecture specific dispatcher structure private to the user |
| pmap_target.h | Pmap definition common for the arm archs |
| ► barrelfish_kpi | |
| arm_core_data.h | Data sent to a newly booted ARM kernel |
| dispatcher_shared_target.h | Architecture specific dispatcher struct shared between kernel and user |
| paging_arm_v5.h | Paging definitions for arm_v5 |
| paging_arm_v7.h | Paging definitions for arm_v7 |
| ► x86 | |
| ► barrelfish | |
| pmap_target.h | Pmap definition common for the x86 archs |
| ► barrelfish_kpi | |
| coredata_target.h | Data sent to a newly booted x86 kernel |
| ► x86_32 | |
| ► barrelfish | |
| dispatcher_target.h | Architecture specific dispatcher structure private to the user |
| pmap_target.h | Arch specific declerations that can be included by others |
| ► barrelfish_kpi | |
| dispatcher_shared_target.h | Architecture specific dispatcher struct shared between kernel and user |
| paging_target.h | Arch specific definitions, can be included by others |
| registers_target.h | Arch specific definition of the registers, can be included by anyone. Definitions shared by kernel and user |
| ► x86_64 | |
| ► barrelfish | |
| dispatcher_target.h | Architecture specific dispatcher structure private to the user |
| pmap_target.h | Arch specific declerations that can be included by others |
| ► barrelfish_kpi | |
| cpu_target.h | Arch specific CPU declarations |
| dispatcher_shared_target.h | Architecture specific dispatcher struct shared between kernel and user |
| paging_target.h | Arch specific definitions, can be included by others |
| registers_target.h | Arch specific definition of the registers, can be included by anyone. Definitions shared by kernel and user |
| ► term | |
| ► client | |
| client.h | Non-blocking I/O API for terminal client library |
| client_blocking.h | Blocking I/O API for terminal client library |
| default_filters.h | Set of default filters for terminal client library |
| default_triggers.h | Set of default triggers for terminal client library |
| defs.h | General definitions for terminal client library |
| filter.h | Filter API for terminal client library |
| session.h | Session handling API for terminal client library |
| trigger.h | Trigger API for terminal client library |
| ► server | |
| server.h | Terminal server library (libterm_server) API |
| defs.h | Definitions shared between libterm_client and libterm_server |
| ► tftp | |
| tftp.h | TFTP library |
| ► timer | |
| timer.h | Barrelfish timer interface |
| ► trace | |
| trace.h | User and kernel code definitions for system-wide tracing |
| ► tweed | |
| tweed.h | A simple work stealing library based upon both cilk and wool |
| bitmap.h | Header specifying the interface of libnuma |
| multiboot.h | Definition of multiboot header formats. Spec: http://www.gnu.org/software/grub/manual/multiboot/multiboot.html |
| multicast.h | Shared data structure between the multicast domain and the monitor |
| numa.h | Header specifying the interface of libnuma |
| omp.h | Include to use the bomp library |
| ► kernel | |
| ► arch | |
| ► arm | |
| debug.c | ARM-specific kernel debugging functions |
| exec.c | ARM execution and miscellany |
| kputchar.c | The world's simplest serial driver |
| misc.c | Miscellaneous kernel support code |
| multiboot.c | Multiboot utility functions |
| omap_uart.c | Kernel serial driver for the OMAP44xx UARTs |
| pl011.c | ARM pl011 UART kernel-level driver |
| zynq_uart.c | Kernel serial driver for the Xilinx Zynq7000-series UART |
| ► armv7 | |
| a15_gt.c | ARM Cortex A15 Generic Timer driver |
| a9_gt.c | ARM Cortex A9 Global Timer driver |
| a9_scu.c | ARM Cortex A9 Snoop Control Unit (SCU) driver |
| boot_driver.c | CPU driver boot code for ARMv7A cores |
| boot_protocol.c | Implementation of the BF ARMv7 boot protocol |
| init.c | CPU driver init code for ARMv7A cores |
| omap44xx_spinlock.c | Kernel driver for the spinlock module, used for serial output see OMAP4460 TRM chapter 21 for a functional description |
| plat_a15mpcore.c | Platform code for the Cortex-A15 MPCore |
| plat_a9mpcore.c | Platform code for the Cortex-A9 MPCore |
| plat_basic_boot.c | Null implementation of plat_advance_aps |
| plat_omap44xx.c | Platform code for the Cortex-A9 processors on TI OMAP44xx SoCs |
| plat_omap44xx_boot.c | ROM-controlled core boot for the OMAP44xx |
| plat_omap44xx_consts.c | Platform code for the Cortex-A9 processors on TI OMAP44xx SoCs |
| plat_priv_cbar.c | Read the configuration base register (CBAR) |
| plat_vexpress.c | Platform code for ARMv7-A VersatileExpress EMM board |
| plat_vexpress_consts.c | Platform code for ARMv7-A VersatileExpress EMM board |
| plat_zynq7.c | Platform code for the Xilinx Zynq7000-series SoCs |
| plat_zynq7_consts.c | Platform code for the Xilinx Zynq7000-series SoCs |
| ► armv8 | |
| exec.c | ARM execution and miscellany |
| plat_a57mpcore.c | |
| plat_apm88xxxx.c | |
| plat_arm_vm.c | |
| plat_arm_vm_consts.c | |
| plat_tmas.c | |
| psci.c | |
| timers.c | Timer support for ARMv8 |
| ► k1om | |
| init.c | X86-64 architecture initialization |
| mcheck.c | X86 machine check architecture initialisation / "driver" |
| serial.c | A basic (virtual) serial output for the Xeon Phi |
| startup_arch.c | X86_64 kernel bootup code |
| xeon_phi.c | Kernel debugging functions |
| ► x86 | |
| apic.c | Intel 64 local APIC driver |
| cmos.c | CMOS RAM interface functions |
| conio.c | Text-mode video console output driver |
| debugregs.c | X86 debug registers |
| ipi_notify.c | Inter-processor interrupt (IPI) notify mechanism |
| mcheck.c | X86 machine check architecture initialisation / "driver" |
| misc.c | Miscellaneous kernel support code |
| multiboot.c | Multiboot utility functions |
| perfmon.c | AMD performance monitoring infrastructure |
| perfmon_amd.c | AMD performance monitoring infrastructure |
| perfmon_intel.c | Intel 64 performance monitoring infrastructure |
| pic.c | Classic 8259A PIC driver |
| pit.c | X86 legacy timer driver (PIT) |
| rtc.c | Simple RTC hardware clock access |
| serial.c | PC16550 low-level kernel UART driver |
| startup_x86.c | X86 kernel bootup code |
| syscall.c | Arch-specific system calls implementation |
| timing.c | Timer calibration and setting functions |
| ► x86_32 | |
| debug.c | Kernel debugging functions |
| exec.c | X86-64 execution and miscellany |
| gdb_arch.c | X86-specific parts of in-kernel GDB stub |
| init.c | X86-32 architecture initialization |
| irq.c | X86-32 interrupt/exception handling utility functions |
| microbenchmarks.c | Architecture-specific microbenchmarks |
| page_mappings_arch.c | |
| paging.c | X86-32 kernel page-table setup |
| startup_arch.c | X86_32 kernel bootup code |
| syscall.c | System calls implementation |
| ► x86_64 | |
| debug.c | Kernel debugging functions |
| exec.c | X86-64 execution and miscellany |
| gdb_arch.c | X86-specific parts of in-kernel GDB stub |
| init.c | X86-64 architecture initialization |
| irq.c | X86-64 interrupt/exception handling utility functions |
| microbenchmarks.c | Architecture-specific microbenchmarks |
| page_mappings_arch.c | |
| paging.c | X86-64 kernel page-table setup |
| startup_arch.c | X86_64 kernel bootup code |
| svm_vmkit.c | Contains VMKit kernel interface for version using SVM extensions |
| syscall.c | System calls implementation |
| vmkit.c | VMKit Kernel interface |
| vmx_checks.c | Before entry into a VM-guest commences, the state of logical processor and VMCS are checked to ensure that the following will transpire successfully: |
| vmx_vmkit.c | Contains VMKit kernel interface for version using VMX extensions |
| ► include | |
| ► arch | |
| ► aarch64 | |
| global.h | A struct for all shared data between the kernels |
| misc.h | Miscellaneous architecture-specific functions |
| ► arm | |
| misc.h | Miscellaneous architecture-specific functions |
| omap_uart.h | Kernel serial driver for the OMAP44xx UARTs |
| sp804.h | ARM sp804 dual timer module kernel interface |
| startup_arm.h | Startup prototypes for all ARM platforms |
| syscall_arm.h | Arm-specific system calls implementation |
| ► armv7 | |
| a15_gt.h | ARM Cortex A15 Generic Timer driver |
| a9_gt.h | ARM Cortex A9 Global Timer driver |
| a9_scu.h | Interface for Cortex A9 Snoop Control Unit |
| arch_gdb_stub.h | Header for ARMv5-specific GDB stub code |
| global.h | A struct for all shared data between the kernels |
| init.h | ARM architecture initialization |
| offsets.h | ARMv7-A address space sizes and offsets |
| omap44xx_spinlock.h | Kernel driver for the spinlock module, used for serial output see OMAP4460 TRM chapter 21 for a functional description |
| paging_kernel_arch.h | ARM kernel page-table structures |
| platform.h | Platform interface for ARMv7-A boards |
| psci.h | |
| startup_arch.h | Startup prototypes |
| ► armv8 | |
| arch_gdb_stub.h | Header for ARMv5-specific GDB stub code |
| arm_hal.h | Hardware Abstraction Layer interface for ARM boards |
| global.h | A struct for all shared data between the kernels |
| init.h | ARM architecture initialization |
| offsets.h | ARMv8 address-space sizes and offsets |
| paging_kernel_arch.h | ARMv8 kernel page-table structures |
| platform.h | Platform interface for ARMv7-A boards |
| psci.h | |
| start_aps.h | Definitions for the startup of application processors |
| startup_arch.h | Startup prototypes |
| timers.h | Platform interface for ARMv7-A boards |
| ► k1om | |
| ► kernel_boot_param | |
| apm_bios.h | Struct definition for the boot param struct supplied by the K1OM boot loader |
| e820.h | Struct definition for the boot param struct supplied by the K1OM boot loader |
| edd.h | Struct definition for the boot param struct supplied by the K1OM boot loader |
| ist_bios.h | Struct definition for the boot param struct supplied by the K1OM boot loader |
| screen_info.h | Struct definition for the boot param struct supplied by the K1OM boot loader |
| init.h | X86-64 architecture initialization |
| kernel_boot_param.h | Struct definition for the boot param struct supplied by the K1OM boot loader |
| kputchar.h | A struct for all shared data between the kernels |
| linux_host.h | Functions to signal a linux based host |
| offsets.h | |
| x86.h | X86 inline asm utilities and defines |
| xeon_phi.h | Header for Xeon Phi Specific Addresses |
| ► x86 | |
| apic.h | Header file for the APIC implementation |
| cmos.h | CMOS memory interface |
| conio.h | VGA console I/O |
| debug.h | Kernel debugging functions |
| debugregs.h | X86 debug registers |
| global.h | A struct for all shared data between the kernels |
| ia32_spaces.h | Address-space support for Mackerel IA32-MSR device definitions |
| kputchar.h | Kprintf support |
| perfmon.h | Performace monitoring support for x86\ This should be working on Intel and AMD platforms |
| perfmon_amd.h | AMD performance monitoring infrastructure |
| perfmon_intel.h | Intel 64 performance monitoring infrastructure |
| pic.h | Header file for classic 8259A PIC |
| pit.h | X86 legacy timer driver (PIT) |
| rtc.h | Real Time Clock Header File |
| start_aps.h | Definitions for the startup of application processors |
| startup_x86.h | Startup prototypes |
| syscall.h | X86-specific system calls implementation |
| timing.h | Timer calibration and setting functions |
| x86.h | X86 inline asm utilities and defines |
| ► x86_32 | |
| arch_gdb_stub.h | Header for x86-specific GDB stub code |
| cpuid_spaces.h | Address-space support for Mackerel CPUID device definitions |
| fpu.h | FPU lazy context switch support |
| ia32_spaces.h | X86 inline asm utilities and defines |
| init.h | X86-64 architecture initialization |
| irq.h | X86-32 interrupt/exception handling |
| kputchar.h | A struct for all shared data between the kernels |
| misc.h | Miscellaneous architecture-specific functions |
| offsets.h | |
| paging_kernel_arch.h | Architecture specific kernel page table definitions |
| x86.h | X86 inline asm utilities and defines |
| ► x86_64 | |
| arch_gdb_stub.h | Header for x86-specific GDB stub code |
| cpuid_spaces.h | Address-space support for Mackerel CPUID device definitions |
| fpu.h | FPU lazy context switch support |
| init.h | X86-64 architecture initialization |
| irq.h | X86-64 interrupt/exception handling |
| kputchar.h | A struct for all shared data between the kernels |
| misc.h | Miscellaneous architecture-specific functions |
| offsets.h | |
| paging_kernel_arch.h | Architecture specific kernel page table definitions |
| svm_vmkit.h | Contains VMKit kernel interface for version using SVM extensions |
| vmkit.h | VMKit Kernel interface |
| vmx_checks.h | Functions used in the rigorous checks that are performed (optionally) before launching and/or resuming a VM-guest |
| vmx_vmkit.h | Contains VMKit kernel interface for version using VMX extensions |
| x86.h | X86 inline asm utilities and defines |
| ► target | |
| ► k1om | |
| offsets_target.h | K1OM address space sizes and offsets |
| ► x86_32 | |
| offsets_target.h | X86-32 address space sizes and offsets |
| paging_kernel_target.h | X86-32 kernel page-table structures |
| ► x86_64 | |
| offsets_target.h | X86-64 address space sizes and offsets |
| paging_kernel_target.h | X86-64 kernel page-table structures |
| cap_predicates.h | Kernel capability predicates (to be generated by Hamlet) |
| capabilities.h | Kernel capability management |
| debug.h | Kernel debugging helpers |
| dispatch.h | Kernel management of dispatchers |
| exec.h | Kernel execution and miscellany |
| gdb_stub.h | Header for generic GDB stub code |
| kcb.h | Kernel control block declarations |
| kernel.h | Standard headers for kernel code |
| kernel_multiboot.h | Relay header for multiboot structures and kernel-specific function definitions |
| kputchar.h | A struct for all shared data between the kernels |
| logging.h | Kernel logging infrastructure headers |
| paging_generic.h | Kernel memory management |
| paging_kernel_helper.h | A paging helper file |
| schedule.h | Kernel scheduling API |
| serial.h | Architecture-independent interface to the kernel serial port subsystem |
| startup.h | Startup prototypes |
| sys_debug.h | Arch-generic system calls implementation |
| syscall.h | Arch-generic system calls implementation |
| systime.h | System time |
| timer.h | Header for one-shot timer support |
| useraccess.h | User space memory access functions |
| cap_delete.c | Kernel capability deletion-related operations |
| capabilities.c | Kernel capability management implementation |
| coreboot.c | Registering for handler functions to manage cores |
| dispatch.c | Kernel management of dispatchers (implementation) |
| gdb_stub.c | Architecture-independent parts of in-kernel GDB stub |
| kcb.c | Kernel control block declarations |
| logging.c | Logging kernel support code |
| microbenchmarks.c | Generic/base microbenchmark code |
| monitor.c | Arch-generic system calls implementation |
| paging_generic.c | Kernel memory management |
| printf.c | Implementations of printf and friends |
| schedule_rbed.c | Kernel scheduling policy: Rate-Based Earliest Deadline (RBED) |
| schedule_rr.c | Kernel round-robin scheduling policy |
| startup.c | Architecture-independent bootstrap code |
| stdlib.c | Standard libc library functions |
| string.c | Implementations of standard libc string functions |
| sys_debug.c | Arch-generic debug system calls implementation |
| syscall.c | Arch-generic system calls implementation |
| systime.c | System time, constants and convertors |
| timer.c | Support of one-shot timers |
| useraccess.c | User space memory access functions |
| wakeup.c | DCB wakeup queue management |
| ► lib | |
| ► acpi_client | |
| acpi_client.c | ACPI RPC Client |
| ► arranet | |
| arranet.c | Arranet library code |
| inet_chksum.c | |
| ip_addr.c | |
| ► barrelfish | |
| ► arch | |
| ► aarch64 | |
| dispatch.c | Dispatcher architecture-specific implementation |
| pmap_arch.c | Pmap management |
| sys_debug.c | Debug system calls, user-side |
| ► arm | |
| dispatch.c | Dispatcher architecture-specific implementation |
| pmap_arch.c | Pmap management |
| sys_debug.c | Debug system calls, specific for arm, user-side |
| ► x86 | |
| ipi_notify.c | Bidirectional IPI (inter-processor interrupt) signaling implementation |
| perfmon.c | IA32 performance monitoring |
| sys_debug.c | Debug system calls for all x86 architectures, user-side |
| tls.c | ABI support glue for thread-local storage |
| ► x86_32 | |
| debug.c | Arch specific debugging functions |
| dispatch.c | Dispatcher architecture-specific implementation |
| sys_debug.c | Debug system calls, specific for x86_32, user-side |
| syscalls.c | User-side system call implementation |
| ► x86_64 | |
| debug.c | Arch specific debugging functions |
| dispatch.c | Dispatcher architecture-specific implementation |
| ldt.c | Local descriptor table (LDT) management |
| sys_debug.c | Debug system calls, specific for x86_64, user-side |
| syscalls.c | User-side system call implementation |
| ► include | |
| ► arch | |
| ► aarch64 | |
| ► arch | |
| registers.h | Architecture-specific registers code |
| threads.h | Threads architecture-specific code |
| ► arm | |
| ► arch | |
| registers.h | Architecture-specific registers code |
| threads.h | Threads architecture-specific code |
| ► x86_32 | |
| ► arch | |
| fpu.h | FPU accessor functions |
| registers.h | Arch independent accessor functions for use in generic code. Generic include for userland |
| threads.h | Threads architecture-specific code |
| ► x86_64 | |
| ► arch | |
| fpu.h | FPU accessor functions |
| ldt.h | Local descriptor table (LDT) management |
| registers.h | Arch independent accessor functions for use in generic code. Generic include for userland |
| threads.h | Threads architecture-specific code |
| ► target | |
| ► x86 | |
| pmap_x86.h | Pmap definition common for the x86 archs, but private to libbarrelfish |
| ► x86_32 | |
| registers_target.h | Arch specific definition of the registers, can be included by anyone. Definitions only seen in the user |
| ► x86_64 | |
| registers_target.h | Arch specific definition of the registers, can be included by anyone. Definitions only seen in the user |
| init.h | Barrelfish library initialization |
| waitset_chan_priv.h | Libbarrelfish-private waitset interface to channel implementations |
| ► slot_alloc | |
| internal.h | Internal functions |
| range_slot_alloc.c | Slot allocator capable of allocating more than one slot at a time |
| single_slot_alloc.c | Slot allocator for a single cnode |
| slot_alloc.c | Slot allocator wrapper |
| twolevel_slot_alloc.c | Slot allocator for two level CSpace |
| ► target | |
| ► x86 | |
| pmap_x86.c | Pmap code common for x86 archs |
| ► x86_32 | |
| pmap_target.c | Pmap management |
| ► x86_64 | |
| pmap_target.c | Pmap management |
| ► vspace | |
| ► arch | |
| ► aarch64 | |
| layout.c | |
| ► arm | |
| layout.c | |
| ► x86_32 | |
| layout.c | |
| ► x86_64 | |
| layout.c | |
| memobj_anon.c | Memory object of anonymous type. The object maintains a list of frames |
| memobj_fixed.c | Memory object of anonymous type. The object maintains a list of frames |
| memobj_numa.c | Memory object of anonymous type. The object maintains a list of frames |
| memobj_one_frame.c | Memory object of type single frame |
| memobj_one_frame_lazy.c | Memory object which maintains a single frame that is lazily mapped |
| memobj_one_frame_one_map.c | Memory object that maintains a single frame and can be mapped once |
| memobj_pinned.c | Memory 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 |
| mmu_aware.c | Creates mapping based on the MMU type |
| pinned.c | Managing the pinned memory for vspace metadata |
| utils.c | Helpful utility functions |
| vregion.c | Vregion management |
| vspace.c | Vspace management |
| vspace_internal.h | Internal functions for the vspace library |
| bulk_transfer.c | Unidirectional bulk data transfer via shared memory |
| capabilities.c | Capability system user code |
| coreset.c | Simple coreset implementation |
| debug.c | Debugging functions |
| deferred.c | Deferred events (ie. timers) |
| dispatch.c | Dispatcher implementation |
| domain.c | Manage domain spanning cores |
| event_mutex.c | Event mutex implementation |
| event_queue.c | Event queue implementatino |
| flounder_glue_binding.c | Glue code for old deprecated IDC API |
| flounder_support.c | Support code for Flounder-generated stubs |
| heap.c | Simple heap allocator |
| idc.c | Common IDC code |
| idc_export.c | IDC export implementation |
| init.c | Barrelfish library initialization |
| lmp_chan.c | Bidirectional LMP channel implementation |
| lmp_endpoints.c | Management of incoming LMP endpoints |
| monitor_client.c | Client for interacting with the monitor |
| morecore.c | Morecore implementation for malloc |
| msgbuf.c | Generic bag-o-bytes message format |
| multihop_chan.c | Bidirectional Multi-hop channel implementation |
| nameservice_client.c | Client for interacting with the name service |
| ram_alloc.c | RAM allocator code (client-side) |
| resource_ctrl.c | Client for interacting with the monitor |
| slab.c | Simple slab allocator |
| spawn_client.c | Client for interacting with the spawn daemon on each core |
| sys_debug.c | Debug system calls shared by all architectures, user-side |
| syscalls.c | User-side system call implementation, architecture-independent |
| systime.c | Systime |
| terminal.c | Terminal emulator |
| thread_sync.c | Thread synchronisation primitives |
| threads.c | Threads implementation |
| trace.c | This 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 |
| ump_chan.c | Bidirectional UMP channel implementation |
| ump_endpoint.c | Incoming UMP endpoints |
| waitset.c | Waitset and low-level event handling mechanism |
| ► bench | |
| ► arch | |
| ► arm | |
| bench_arch.c | Bench library initialization |
| ► x86 | |
| bench_arch.c | Bench library initialization |
| bench.c | Bench library initialization |
| ► bfdmuxtools | |
| codegen.c | Code synthesizer for bfdmux filters |
| opdefs.c | Bfdmux core functionality |
| opdefs.h | Header file for opcode definitions |
| tools.c | Helper functoin and additional tools used by libbfdmux |
| ► bfdmuxvm | |
| vm.c | Implements a virtual machine for executing compiled intermediate language byte code |
| ► bitmap | |
| bitmap.c | General Numa functions |
| ► blk | |
| blk.c | |
| ► bomp | |
| ► backends | |
| bomp_exclusive.c | Implementation of the backend functions for domain exclusive address spaces |
| bomp_shared.c | Implementation of backend functions on barrelfish |
| linux.c | Implementation of backend functions on Linux |
| ► include | |
| spin.h | Spinning synchronizations |
| bomp.c | API to use the bomp library |
| omp.c | OpenMP API implementation as defined in OpenMP Version 4.0 |
| ► bomp_new | |
| bomp.c | API to use the bomp library |
| bomp_init.c | API to use the bomp library |
| omp.c | OpenMP API implementation as defined in OpenMP Version 4.0 |
| ► bulk_transfer | |
| ► backends | |
| ► local | |
| control_channel.c | Unidirectional bulk data transfer via shared memory |
| ► net | |
| bulk_net_backend.h | Unidirectional bulk data transfer via shared memory |
| bulk_net_e10k.h | Proxy for connecting bulk transfer channels over a network connection |
| bulk_net_endpoint.c | Unidirectional bulk data transfer via shared memory |
| ► sm | |
| channel.c | Unidirectional bulk data transfer via shared memory |
| endpoint.c | Unidirectional bulk data transfer via shared memory |
| backend.c | Unidirectional bulk data transfer via shared memory |
| backend.h | Unidirectional bulk data transfer via shared memory |
| bulk_allocator.c | Unidirectional bulk data transfer via shared memory |
| bulk_buffer.c | |
| bulk_channel.c | Unidirectional bulk data transfer via shared memory |
| bulk_endpoint.c | Unidirectional bulk data transfer via shared memory |
| bulk_pool.c | Unidirectional bulk data transfer via shared memory |
| bulk_transfer.c | Unidirectional bulk data transfer via shared memory |
| control_channel.c | Unidirectional bulk data transfer via shared memory |
| ► collections | |
| hash_table.c | Barrelfish collections library hash table |
| list.c | Barrelfish collections library list data structure |
| stack.c | Barrelfish collections library stack |
| ► concurrent | |
| linked_list.c | A non-blocking linked list implementation, derived from Tim Harris' pragmatic implementation |
| ► contmng | |
| contmng.c | E1000 continuation management |
| ► cpio | |
| cpiobin.c | CPIO archive reader routines for newc/crc/bin variants |
| ► crt | |
| crtbegin.c | C++ startup code. Contains .ctors section header and _main() |
| crtend.c | C++ startup code. Contains .ctors section footer and ABI support |
| ► cxx | |
| ► unwind | |
| unwind_backend.c | A simple work stealing library based upon both cilk and wool |
| ► devif | |
| ► backends | |
| ► net | |
| ► e10k | |
| e10k_devif_vf.h | Virtual Function management for e10k |
| sleep.c | Simple sleep call |
| sleep.h | Simple sleep call |
| ► dist | |
| args.c | Argument processing for distributed services |
| barrier.c | Simple name-server based barriers |
| service.c | Service helper functions |
| skb.c | Calling and processing results from SKB |
| skb.h | Calling and processing results from SKB |
| start.c | Startup code for distributed services |
| ► elf | |
| elf.c | Rudimentary ELF loader and handling routines |
| elf32.c | Rudimentary ELF32 loader and handling routines |
| elf64.c | Rudimentary ELF64 loader and handling routines |
| ► getopt | |
| getopt.c | Commandline parameter parsing |
| ► hashtable | |
| hashtable.c | Hashtable implementation |
| ► int_route | |
| ► client | |
| client.c | Contains helper functions for clients of the interrupt routing service |
| ► server | |
| init.c | Contains handler functions for server-side octopus interface RPC call |
| ► lwip | |
| ► src | |
| ► api | |
| api_lib.c | |
| api_msg.c | |
| err.c | |
| netbuf.c | |
| netdb.c | |
| netifapi.c | |
| sockets.c | |
| tcpip.c | |
| ► barrelfish | |
| idc_barrelfish.c | Datapath Communication between LWIP and network driver |
| idc_barrelfish.h | Header file for the interfaceing part to the network driver |
| idc_net_control.c | Communication between LWIP and net_ports deamon |
| mem_barrelfish.c | Buffer memory for LWIP using caps |
| mem_barrelfish.h | Buffer memory for LWIP using caps |
| ► core | |
| ► ipv4 | |
| autoip.c | |
| icmp.c | |
| igmp.c | |
| inet.c | |
| inet_chksum.c | |
| ip.c | |
| ip_addr.c | |
| ip_frag.c | |
| ► ipv6 | |
| inet6.c | |
| ► snmp | |
| asn1_dec.c | |
| asn1_enc.c | |
| mib2.c | |
| mib_structs.c | |
| msg_in.c | |
| msg_out.c | |
| dhcp.c | |
| dns.c | |
| init.c | |
| mem.c | |
| memp.c | |
| netif.c | |
| pbuf.c | |
| raw.c | |
| stats.c | |
| sys.c | |
| tcp.c | |
| tcp_in.c | |
| tcp_out.c | |
| udp.c | |
| ► include | |
| ► ipv4 | |
| ► lwip | |
| autoip.h | |
| ► lwip | |
| dhcp.h | |
| opt.h | |
| snmp_asn1.h | |
| snmp_msg.h | |
| snmp_structs.h | |
| sock_chan_support.h | Barrelfish waitset and channel support for LWIP |
| lwipopts.h | LwIP configuration file for Barrelfish |
| ► netif | |
| bfeth.c | |
| etharp.c | |
| ethernetif.c | |
| loopif.c | |
| slipif.c | |
| ► mdb | |
| mdb.c | |
| ► mm | |
| mm.c | Memory manager |
| slot_alloc.c | Slot management for the memory allocator |
| ► net_device_manager | |
| portalloc.c | Port allocator for netd |
| portalloc.h | Port allocator for netd |
| ► net_queue_manager | |
| frag.c | Intel e1000 driver fragmentation support |
| QM_benchmark.c | A support file holding benchmark and debug related code |
| queue_manager.c | Generic server part for most ethernet drivers. Current drivers using this server code are – e1000n – rtl8029 – eMAC |
| ► netbench | |
| netbench.c | Library for benchmarking the network related code |
| ► netd | |
| lwipinit.c | LWIP test/demo code |
| netd.c | Echo server main |
| netd_private.h | Private header file for the net "daemon" library |
| ► newlib | |
| ► newlib | |
| ► libc | |
| ► sys | |
| ► barrelfish | |
| lock.c | Barrelfish libc lock backend. These functions are used in lib/newlib/newlib/libc/include/sys/lock.h |
| oldsys_morecore.c | Morecore() is a sbrk() equivalent |
| ► nfs | |
| nfs.c | NFS client |
| rpc.c | RPC implementation |
| rpc.h | RPC definitions |
| xdr_pbuf.c | XDR implementation using LWIP PBuf structures |
| xdr_pbuf.h | XDR implementation using LWIP PBuf structures |
| ► numa | |
| alloc.c | General Numa functions |
| numa.c | General Numa functions |
| numa_bitmap.c | Bitmap manipulation |
| numa_debug.h | Internal header of libnuma |
| numa_internal.h | Internal header of libnuma |
| policy.c | General Numa functions |
| utilities.c | General Numa functions |
| ► octopus | |
| ► client | |
| barriers.c | Barrier client API implementation |
| capability_storage.c | Functions for capability storage. This was moved here from barrelfish/nameservice_client.c |
| common.h | Contains common functions/macros/defines used throughout the octopus client library |
| getset.c | Get/Set client API implementation |
| handler.h | Handler functions for incoming messages |
| locking.c | Implementation of a synchronous locking API using the octopus Interface |
| octopus.c | Initialization functions for the octopus client library |
| pubsub.c | Publish/Subscribe client API implementation |
| semaphores.c | Semaphore API Implementation |
| trigger.c | Handler function for asynchronous triggers sent by server |
| ► parser | |
| ast.c | Function to generate/manipulate abstract syntax tree for records |
| parse_names.c | Parse function for format returned by get_names |
| read.c | Helper functions to read record contents |
| test_parser.c | Use this file for quick parser tests on your machine |
| ► server | |
| capstorage.c | Simple capability storage |
| init.c | Code to initialize the octopus server |
| queue.c | Queue to deal with flounder continuations |
| queue.h | Queue for stack-ripped octopus server-side handler code |
| service.c | Contains handler functions for server-side octopus interface RPC call |
| ► openssl-1.0.0d | |
| ► crypto | |
| ► ec | |
| ec.h | |
| ► ecdsa | |
| ecdsa.h | |
| ► ssl | |
| ssl_cert.c | |
| ssl_lib.c | Version independent SSL functions |
| ► pci | |
| ► confspace | |
| pci_confspace.c | PCI configuration library |
| pcie_confspace.c | PCI configuration space access |
| pci_client.c | PCI service client-side logic |
| ► posixcompat | |
| pty.c | Posix pseudo terminal implementation |
| ► procon | |
| procon.c | Producer consumer library |
| ► rcce | |
| bcast.c | RCCE library |
| internal.h | RCCE library |
| rcce.c | RCCE library |
| ring_barriers.c | |
| ► skb | |
| helper.c | SKB helper functions |
| skb.c | SKB connection |
| skb_functions.c | SKB library functions |
| ► spawndomain | |
| ► arch | |
| ► aarch64 | |
| spawn_arch.c | Functionality to spawn domains |
| ► arm | |
| spawn_arch.c | Functionality to spawn domains |
| ► x86 | |
| spawn_arch.c | Functionality to spawn domains |
| arch.h | |
| getopt.c | Somewhat simple commandline argument parsing |
| multiboot.c | |
| spawn.c | Functionality to spawn domains |
| spawn.h | |
| spawn_omp.c | Functionality to spawn domains |
| spawn_vspace.c | Code for managing VSpace of a new domain when it is spawned |
| ► term | |
| ► client | |
| client.c | Non-blocking I/O API for terminal client library |
| client_blocking.c | Blocking I/O API for terminal client library |
| default_filters.c | Set of default filters for terminal client library |
| default_triggers.c | Set of default triggers for the terminal client library |
| filter.c | Filter API for terminal client library |
| filter_priv.h | Private filter header |
| session.c | Session handling API for terminal client library |
| trigger.c | Trigger API for terminal client library |
| trigger_priv.h | Private trigger header |
| ► server | |
| server.c | Terminal server library (libterm_server) implementation |
| ► tftp | |
| client.c | TFTP library |
| common.c | TFTP library |
| server.c | TFTP library |
| tftp_internal.h | TFTP library |
| ► timer | |
| timer.c | Generic timer library |
| ► trace | |
| control.c | System-wide tracing |
| trace.c | System-wide tracing |
| ► tweed | |
| tweed.c | A simple work stealing library based upon both cilk and wool |
| ► vfs | |
| cache.c | VFS buffer cache |
| mmap.c | Hacky MMAP support for VFS |
| vfs_path.c | VFS-related path manipulation |
| ► xeon_phi | |
| xeon_phi_domain.c | Client for interacting with the name service |
