replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse
authorReto Achermann <reto.achermann@inf.ethz.ch>
Wed, 3 Apr 2019 13:33:05 +0000 (15:33 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Wed, 3 Apr 2019 13:33:05 +0000 (15:33 +0200)
commit9bd8d1d54bdc9f799df637aa0df1d2a2586c666f
tree652276a219fa5f46845099560536f5865da1e413
parent092cdac4fa709eb6aa5f4bb174276022c354abe6
replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
2661 files changed:
README_ARRAKIS
capabilities/Hakefile
capabilities/caps.hl
devices/Hakefile
devices/a9scu.dev
devices/ac97_base_audio.dev
devices/ac97_ext_audio.dev
devices/ac97_ext_codec.dev
devices/ac97_ext_modem.dev
devices/acpi_ec.dev
devices/acpi_ec_mem.dev
devices/ahci_hba.dev
devices/ahci_port.dev
devices/amd64.dev
devices/amd_vmcb.dev
devices/apm88xxxx/apm88xxxx_pc16550.dev
devices/arm.dev
devices/arm_icp_pic0.dev
devices/arm_icp_pit.dev
devices/armv8.dev
devices/armv8/armv8_cache_ctrl.dev
devices/ata_identify.dev
devices/audio_nbm.dev
devices/cortex_a9_gt.dev
devices/cortex_a9_pit.dev
devices/cortex_a9_scu.dev
devices/cpuid.dev
devices/e1000.dev
devices/e10k.dev
devices/e10k_q.dev
devices/e10k_vf.dev
devices/ehci.dev
devices/fat16_ebpb.dev
devices/fat32_ebpb.dev
devices/fat_bpb.dev
devices/fat_direntry.dev
devices/gic_v3_dist.dev
devices/gic_v3_redist.dev
devices/hpet.dev
devices/ht_config.dev
devices/ia32.dev
devices/ixp2800_icp_pic0.dev
devices/ixp2800_icp_pit.dev
devices/ixp2800_uart.dev
devices/lpc_bridge.dev
devices/lpc_dma.dev
devices/lpc_ioapic.dev
devices/lpc_kbd.dev
devices/lpc_pci_config.dev
devices/lpc_pic.dev
devices/lpc_rtc.dev
devices/lpc_rtc_spaces.dev
devices/lpc_timer.dev
devices/megaraid.dev
devices/msix.dev
devices/msix_e1000.dev
devices/omap/ehci.dev
devices/omap/omap44xx_32ktimer.dev
devices/omap/omap44xx_abe_cm1.dev
devices/omap/omap44xx_abe_prm.dev
devices/omap/omap44xx_always_on_cm2.dev
devices/omap/omap44xx_always_on_prm.dev
devices/omap/omap44xx_c2c.dev
devices/omap/omap44xx_c2c_master_niu_firewall.dev
devices/omap/omap44xx_c2c_slave_niu_firewall.dev
devices/omap/omap44xx_cam_cm2.dev
devices/omap/omap44xx_cam_prm.dev
devices/omap/omap44xx_cfg_ap.dev
devices/omap/omap44xx_ckgen_cm1.dev
devices/omap/omap44xx_ckgen_cm2.dev
devices/omap/omap44xx_ckgen_prm.dev
devices/omap/omap44xx_clk1_clk1_targ_pwr_disc_clk2.dev
devices/omap/omap44xx_clk1_dmm1_targ.dev
devices/omap/omap44xx_clk1_dss_bw_regulator.dev
devices/omap/omap44xx_clk1_flagmux_clk1.dev
devices/omap/omap44xx_clk1_host_clk1.dev
devices/omap/omap44xx_clk1_rate_adapt_resp_32to128_clk1.dev
devices/omap/omap44xx_clk3_statcoll_lat0.dev
devices/omap/omap44xx_clk3_statcoll_sdram.dev
devices/omap/omap44xx_cm2.dev
devices/omap/omap44xx_cm3_rw_table.dev
devices/omap/omap44xx_cmu.dev
devices/omap/omap44xx_core_cm2.dev
devices/omap/omap44xx_core_prm.dev
devices/omap/omap44xx_cortexa9_cpu0.dev
devices/omap/omap44xx_cortexa9_prm.dev
devices/omap/omap44xx_cortexa9_socket_prcm.dev
devices/omap/omap44xx_cortexa9_wugen.dev
devices/omap/omap44xx_cortexm3_wkup.dev
devices/omap/omap44xx_ctrlmod.dev
devices/omap/omap44xx_dct_l3interconnect.dev
devices/omap/omap44xx_debug_firewall.dev
devices/omap/omap44xx_device_prm.dev
devices/omap/omap44xx_dispc_l4_per.dev
devices/omap/omap44xx_dma_cortex_m3.dev
devices/omap/omap44xx_dma_l3interconnect.dev
devices/omap/omap44xx_dmic_dsp.dev
devices/omap/omap44xx_dmm.dev
devices/omap/omap44xx_dsi1_phy_l4_per.dev
devices/omap/omap44xx_dsi1_pllctrl_l4_per.dev
devices/omap/omap44xx_dsi1_protocol_engine_l4_per.dev
devices/omap/omap44xx_dsp_cm1.dev
devices/omap/omap44xx_dsp_mmu.dev
devices/omap/omap44xx_dsp_prm.dev
devices/omap/omap44xx_dss_cm2.dev
devices/omap/omap44xx_dss_l4_per.dev
devices/omap/omap44xx_dss_prm.dev
devices/omap/omap44xx_ehci.dev
devices/omap/omap44xx_elm.dev
devices/omap/omap44xx_emif.dev
devices/omap/omap44xx_emif1.dev
devices/omap/omap44xx_emu_cm.dev
devices/omap/omap44xx_emu_prm.dev
devices/omap/omap44xx_fdif.dev
devices/omap/omap44xx_gpio.dev
devices/omap/omap44xx_gpio2.dev
devices/omap/omap44xx_gpmc.dev
devices/omap/omap44xx_gpmc_firewall.dev
devices/omap/omap44xx_gptimer2_l4interconnect.dev
devices/omap/omap44xx_gptimer5_dsp.dev
devices/omap/omap44xx_hdq_1_wire.dev
devices/omap/omap44xx_hsi_dma_channels.dev
devices/omap/omap44xx_hsi_ports.dev
devices/omap/omap44xx_hsi_top.dev
devices/omap/omap44xx_hsusbhost.dev
devices/omap/omap44xx_hsusbotg.dev
devices/omap/omap44xx_hwseq_l3interconnect.dev
devices/omap/omap44xx_i2c3.dev
devices/omap/omap44xx_icr_mpu.dev
devices/omap/omap44xx_id.dev
devices/omap/omap44xx_instr_cm1.dev
devices/omap/omap44xx_instr_cm2.dev
devices/omap/omap44xx_instr_prm.dev
devices/omap/omap44xx_intrconn_socket_cm1.dev
devices/omap/omap44xx_intrconn_socket_cm2.dev
devices/omap/omap44xx_intrconn_socket_prm.dev
devices/omap/omap44xx_iss_bte.dev
devices/omap/omap44xx_iss_camerarx_core1.dev
devices/omap/omap44xx_iss_cbuff.dev
devices/omap/omap44xx_iss_ccp2.dev
devices/omap/omap44xx_iss_csi2_a_regs1.dev
devices/omap/omap44xx_iss_csi2_a_regs2.dev
devices/omap/omap44xx_iss_h3a.dev
devices/omap/omap44xx_iss_ipipe.dev
devices/omap/omap44xx_iss_ipipeif.dev
devices/omap/omap44xx_iss_isif.dev
devices/omap/omap44xx_iss_isp5_sys1.dev
devices/omap/omap44xx_iss_isp5_sys2.dev
devices/omap/omap44xx_iss_resizer.dev
devices/omap/omap44xx_iss_tctrl.dev
devices/omap/omap44xx_iss_top.dev
devices/omap/omap44xx_ivahd_cm2.dev
devices/omap/omap44xx_ivahd_mailbox_icont.dev
devices/omap/omap44xx_ivahd_prm.dev
devices/omap/omap44xx_keyboard_controller.dev
devices/omap/omap44xx_l3_ram_firewall.dev
devices/omap/omap44xx_l3init_cm2.dev
devices/omap/omap44xx_l3init_prm.dev
devices/omap/omap44xx_l4per_cm2.dev
devices/omap/omap44xx_l4per_prm.dev
devices/omap/omap44xx_local_interconnect.dev
devices/omap/omap44xx_ma_firewall.dev
devices/omap/omap44xx_mcasp_dsp.dev
devices/omap/omap44xx_mcbsp1_dsp.dev
devices/omap/omap44xx_mcpdm_dsp.dev
devices/omap/omap44xx_mcspi1.dev
devices/omap/omap44xx_mcspi2.dev
devices/omap/omap44xx_mcspi3.dev
devices/omap/omap44xx_mmchs1.dev
devices/omap/omap44xx_mmchs3.dev
devices/omap/omap44xx_mpu_cm1.dev
devices/omap/omap44xx_mpu_prm.dev
devices/omap/omap44xx_ocp2scp.dev
devices/omap/omap44xx_ohci.dev
devices/omap/omap44xx_per_ap.dev
devices/omap/omap44xx_per_ia_0.dev
devices/omap/omap44xx_per_la.dev
devices/omap/omap44xx_per_ta_uart3.dev
devices/omap/omap44xx_restore_cm1.dev
devices/omap/omap44xx_restore_cm2.dev
devices/omap/omap44xx_rfbi_l4_per.dev
devices/omap/omap44xx_rot_l3interconnect.dev
devices/omap/omap44xx_scrm.dev
devices/omap/omap44xx_sdma.dev
devices/omap/omap44xx_sgx.dev
devices/omap/omap44xx_sgx_cm2.dev
devices/omap/omap44xx_sgx_firewall.dev
devices/omap/omap44xx_sgx_prm.dev
devices/omap/omap44xx_simcop_control_l3interconnect.dev
devices/omap/omap44xx_slimbus1_dsp.dev
devices/omap/omap44xx_slimbus2_l3interconnect.dev
devices/omap/omap44xx_spinlock.dev
devices/omap/omap44xx_sr_mpu.dev
devices/omap/omap44xx_sysctrl_general_core.dev
devices/omap/omap44xx_sysctrl_general_wkup.dev
devices/omap/omap44xx_sysctrl_icont.dev
devices/omap/omap44xx_sysctrl_padconf_core.dev
devices/omap/omap44xx_sysctrl_padconf_wkup.dev
devices/omap/omap44xx_system_mailbox_l4_cfginterconnect.dev
devices/omap/omap44xx_uart1.dev
devices/omap/omap44xx_uart3.dev
devices/omap/omap44xx_usbconf.dev
devices/omap/omap44xx_usbfshost.dev
devices/omap/omap44xx_usbphy.dev
devices/omap/omap44xx_usbtllhs_config.dev
devices/omap/omap44xx_usbtllhs_ulpi.dev
devices/omap/omap44xx_venc_l4_per.dev
devices/omap/omap44xx_vlcdj_l3interconnect.dev
devices/omap/omap44xx_wdtimer3_dsp.dev
devices/omap/omap44xx_wkup_cm.dev
devices/omap/omap44xx_wkup_prm.dev
devices/omap/omap_uart.dev
devices/pc16550d.dev
devices/pc16550d_mem.dev
devices/pci_e1000_msix_cap.dev
devices/pci_hdr0.dev
devices/pci_hdr0_mem.dev
devices/pci_hdr1.dev
devices/pci_msix_cap.dev
devices/pci_sr_iov_cap.dev
devices/pl011_uart.dev
devices/rpi3_miniuart.dev
devices/rtl8029as.dev
devices/rtl8029as_spaces.dev
devices/sdhc.dev
devices/sfn5122f.dev
devices/sfn5122f_q.dev
devices/sp804_pit.dev
devices/ti_i2c.dev
devices/ti_twl6030.dev
devices/tulip.dev
devices/virtio/virtio_io.dev
devices/virtio/virtio_pci.dev
devices/vtd.dev
devices/x2apic.dev
devices/xapic.dev
devices/xeon_phi/xeon_phi_apic.dev
devices/xeon_phi/xeon_phi_boot.dev
devices/xeon_phi/xeon_phi_c6_scratch.dev
devices/xeon_phi/xeon_phi_dbox.dev
devices/xeon_phi/xeon_phi_debug.dev
devices/xeon_phi/xeon_phi_dma.dev
devices/xeon_phi/xeon_phi_dma_chan.dev
devices/xeon_phi/xeon_phi_gbox.dev
devices/xeon_phi/xeon_phi_i2c_oc.dev
devices/xeon_phi/xeon_phi_irq.dev
devices/xeon_phi/xeon_phi_mcx.dev
devices/xeon_phi/xeon_phi_rdma.dev
devices/xeon_phi/xeon_phi_sbox.dev
devices/xeon_phi/xeon_phi_scratch.dev
devices/xeon_phi/xeon_phi_sensors.dev
devices/xeon_phi/xeon_phi_serial.dev
devices/xeon_phi/xeon_phi_smpt.dev
doc/000-overview/Hakefile
doc/000-overview/Overview.tex
doc/001-glossary/Glossary.tex
doc/001-glossary/Hakefile
doc/001-glossary/Main.hs
doc/002-mackerel/Hakefile
doc/003-hake/Hake.tex
doc/003-hake/Hakefile
doc/004-virtual_memory/Hakefile
doc/004-virtual_memory/VirtualMemory.tex
doc/006-routing/Hakefile
doc/008-tracing/Hakefile
doc/008-tracing/Tracing.tex
doc/009-notifications/Hakefile
doc/009-notifications/Notify.tex
doc/010-spec/Hakefile
doc/011-idc/Hakefile
doc/012-services/Hakefile
doc/013-capability-mgmt/CapMgmt.tex
doc/013-capability-mgmt/Hakefile
doc/014-bulk-transfer/Hakefile
doc/014-bulk-transfer/bulk-transfer.tex
doc/015-disk-driver-arch/Hakefile
doc/016-serial-ports/Hakefile
doc/017-arm/ARM.tex
doc/017-arm/Hakefile
doc/018-Practical-guide/Hakefile
doc/018-Practical-guide/PracticalGuide.tex
doc/019-device-drivers/Hakefile
doc/020-skate/Hakefile
doc/021-cpudriver/Hakefile
doc/022-armv8/Hakefile
doc/022-armv8/report.tex
doc/023-coreboot/Hakefile
doc/024-fof/FiletOFish.lhs
doc/024-fof/Hakefile
doc/025-sockeye/Hakefile
doc/026-device-queues/Hakefile
doc/Hakefile
errors/Hakefile
errors/errno.fugu
hake/ARMv8.hs
hake/Config.hs.template
hake/HakeTypes.hs
hake/Tools.hs
hake/X86_32.hs
hake/foundation.cfg
hake/fvp.cfg
hake/hake.sh
if/Hakefile
if/acpi.if
if/ahci_mgmt.if
if/arch/armv7.if
if/arch/armv8.if
if/arch/k1om.if
if/arch/x86_32.if
if/arch/x86_64.if
if/arrakis.if
if/ata_rw28.if
if/bcache.if
if/bcast.if
if/bench.if
if/bench_distops.if
if/bfs.if
if/block_service.if
if/boot_perfmon.if
if/bulk_ctrl.if
if/bulkbench.if
if/descq.if
if/devif_test.if
if/dist_event.if
if/e1000_devif.if
if/e10k.if
if/e10k_vf.if
if/empty.if
if/fb.if
if/flounderbootstrap.if
if/glue_bench.if
if/hpet.if
if/int_route_controller.if
if/int_route_service.if
if/interdisp.if
if/intermon.if
if/kaluga.if
if/keyboard.if
if/lock.if
if/lpc_kbd.if
if/mem.if
if/monitor.if
if/monitor_blocking.if
if/monitor_mem.if
if/mouse.if
if/net_ARP.if
if/net_ports.if
if/net_queue_manager.if
if/net_sockets.if
if/net_soft_filters.if
if/octopus.if
if/pci.if
if/pci_driver_client.if
if/pci_iommu.if
if/ping_pong.if
if/pixels.if
if/platform/armv7.if
if/platform/armv8.if
if/platform/k1om.if
if/platform/x86_32.if
if/platform/x86_64.if
if/proc_mgmt.if
if/queue_service.if
if/rcce.if
if/replay.if
if/serial.if
if/sfn5122f.if
if/sfn5122f_devif.if
if/skb.if
if/skb_map.if
if/spawn.if
if/subways.if
if/terminal.if
if/terminal_config.if
if/terminal_session.if
if/test.if
if/test_rpc_cap.if
if/timer.if
if/trivfs.if
if/types.if
if/unixsock.if
if/usb_driver.if
if/usb_manager.if
if/xcorecap.if
if/xcorecapbench.if
if/xmplcr.if
if/xmplmsg.if
if/xmplrpc.if
if/xmplthc.if
if/xomp.if
if/xomp_gateway.if
include/acpi_client/acpi_client.h
include/ahci/ahci.h
include/ahci/ahci_defs.h
include/ahci/ahci_dma_pool.h
include/ahci/ahci_util.h
include/ahci/sata_fis.h
include/angler/angler.h
include/arch/aarch64/barrelfish/bulk_transfer_arch.h
include/arch/aarch64/barrelfish/capabilities_arch.h
include/arch/aarch64/barrelfish/core_state_arch.h
include/arch/aarch64/barrelfish/cpu_arch.h
include/arch/aarch64/barrelfish/curdispatcher_arch.h
include/arch/aarch64/barrelfish/dispatcher_arch.h
include/arch/aarch64/barrelfish/invocations_arch.h
include/arch/aarch64/barrelfish/lmp_chan_arch.h
include/arch/aarch64/barrelfish/pmap_arch.h
include/arch/aarch64/barrelfish/syscall_arch.h
include/arch/aarch64/barrelfish_kpi/cpu_arch.h
include/arch/aarch64/barrelfish_kpi/dispatcher_shared_arch.h
include/arch/aarch64/barrelfish_kpi/flags_arch.h
include/arch/aarch64/barrelfish_kpi/generic_arch.h
include/arch/aarch64/barrelfish_kpi/lmp_arch.h
include/arch/aarch64/barrelfish_kpi/paging_arch.h
include/arch/aarch64/barrelfish_kpi/registers_arch.h
include/arch/aarch64/barrelfish_kpi/spinlocks_arch.h
include/arch/aarch64/barrelfish_kpi/unknown_arch.h
include/arch/aarch64/bench/bench_arch.h
include/arch/aarch64/hw_records_arch.h
include/arch/arm/barrelfish/bulk_transfer_arch.h
include/arch/arm/barrelfish/capabilities_arch.h
include/arch/arm/barrelfish/core_state_arch.h
include/arch/arm/barrelfish/cpu_arch.h
include/arch/arm/barrelfish/curdispatcher_arch.h
include/arch/arm/barrelfish/dispatcher_arch.h
include/arch/arm/barrelfish/invocations_arch.h
include/arch/arm/barrelfish/lmp_chan_arch.h
include/arch/arm/barrelfish/pmap_arch.h
include/arch/arm/barrelfish/syscall_arch.h
include/arch/arm/barrelfish_kpi/asm_inlines_arch.h
include/arch/arm/barrelfish_kpi/cpu_arch.h
include/arch/arm/barrelfish_kpi/dispatcher_shared_arch.h
include/arch/arm/barrelfish_kpi/flags_arch.h
include/arch/arm/barrelfish_kpi/generic_arch.h
include/arch/arm/barrelfish_kpi/lmp_arch.h
include/arch/arm/barrelfish_kpi/paging_arch.h
include/arch/arm/barrelfish_kpi/registers_arch.h
include/arch/arm/barrelfish_kpi/unknown_arch.h
include/arch/arm/bench/bench_arch.h
include/arch/arm/hw_records_arch.h
include/arch/arm/omap44xx/device_registers.h
include/arch/cc.h
include/arch/k1om/barrelfish_kpi/asm_inlines_arch.h
include/arch/x86/barrelfish/bulk_transfer_arch.h
include/arch/x86/barrelfish/core_state_arch.h
include/arch/x86/barrelfish/iocap_arch.h
include/arch/x86/barrelfish/ipi_notify.h
include/arch/x86/barrelfish/perfmon.h
include/arch/x86/barrelfish_kpi/asm_inlines_arch.h
include/arch/x86/barrelfish_kpi/perfmon.h
include/arch/x86/barrelfish_kpi/perfmon_amd.h
include/arch/x86/barrelfish_kpi/spinlocks_arch.h
include/arch/x86/bench/bench_arch.h
include/arch/x86/hw_records_arch.h
include/arch/x86_32/barrelfish/bulk_transfer_arch.h
include/arch/x86_32/barrelfish/core_state_arch.h
include/arch/x86_32/barrelfish/cpu_arch.h
include/arch/x86_32/barrelfish/curdispatcher_arch.h
include/arch/x86_32/barrelfish/dispatcher_arch.h
include/arch/x86_32/barrelfish/invocations_arch.h
include/arch/x86_32/barrelfish/lmp_chan_arch.h
include/arch/x86_32/barrelfish/pmap_arch.h
include/arch/x86_32/barrelfish/syscall_arch.h
include/arch/x86_32/barrelfish_kpi/asm_inlines_arch.h
include/arch/x86_32/barrelfish_kpi/cpu_arch.h
include/arch/x86_32/barrelfish_kpi/dispatcher_shared_arch.h
include/arch/x86_32/barrelfish_kpi/eflags_arch.h
include/arch/x86_32/barrelfish_kpi/generic_arch.h
include/arch/x86_32/barrelfish_kpi/lmp_arch.h
include/arch/x86_32/barrelfish_kpi/paging_arch.h
include/arch/x86_32/barrelfish_kpi/pic_arch.h
include/arch/x86_32/barrelfish_kpi/registers_arch.h
include/arch/x86_32/barrelfish_kpi/spinlocks_arch.h
include/arch/x86_32/barrelfish_kpi/syscall_overflows_arch.h
include/arch/x86_32/bench/bench_arch.h
include/arch/x86_32/hw_records_arch.h
include/arch/x86_64/barrelfish/bulk_transfer_arch.h
include/arch/x86_64/barrelfish/capabilities_arch.h
include/arch/x86_64/barrelfish/core_state_arch.h
include/arch/x86_64/barrelfish/cpu_arch.h
include/arch/x86_64/barrelfish/curdispatcher_arch.h
include/arch/x86_64/barrelfish/dispatcher_arch.h
include/arch/x86_64/barrelfish/invocations_arch.h
include/arch/x86_64/barrelfish/ldt.h
include/arch/x86_64/barrelfish/lmp_chan_arch.h
include/arch/x86_64/barrelfish/pmap_arch.h
include/arch/x86_64/barrelfish/syscall_arch.h
include/arch/x86_64/barrelfish_kpi/asm_inlines_arch.h
include/arch/x86_64/barrelfish_kpi/cpu_arch.h
include/arch/x86_64/barrelfish_kpi/dispatcher_shared_arch.h
include/arch/x86_64/barrelfish_kpi/eflags_arch.h
include/arch/x86_64/barrelfish_kpi/generic_arch.h
include/arch/x86_64/barrelfish_kpi/lmp_arch.h
include/arch/x86_64/barrelfish_kpi/registers_arch.h
include/arch/x86_64/barrelfish_kpi/spinlocks_arch.h
include/arch/x86_64/bench/bench_arch.h
include/arch/x86_64/concurrent/arch/cas.h
include/arch/x86_64/hw_records_arch.h
include/arranet.h
include/arranet_debug.h
include/arranet_impl.h
include/barrelfish/barrelfish.h
include/barrelfish/bulk_transfer.h
include/barrelfish/caddr.h
include/barrelfish/cap_predicates.h
include/barrelfish/capabilities.h
include/barrelfish/core_state.h
include/barrelfish/coreset.h
include/barrelfish/cspace.h
include/barrelfish/debug.h
include/barrelfish/deferred.h
include/barrelfish/dispatch.h
include/barrelfish/dispatcher.h
include/barrelfish/domain.h
include/barrelfish/event_mutex.h
include/barrelfish/except.h
include/barrelfish/heap.h
include/barrelfish/idc.h
include/barrelfish/idc_export.h
include/barrelfish/inthandler.h
include/barrelfish/lmp_chan.h
include/barrelfish/lmp_endpoints.h
include/barrelfish/memobj.h
include/barrelfish/monitor_client.h
include/barrelfish/morecore.h
include/barrelfish/msgbuf.h
include/barrelfish/multihop_chan.h
include/barrelfish/nameservice_client.h
include/barrelfish/net_constants.h
include/barrelfish/ram_alloc.h
include/barrelfish/resource_ctrl.h
include/barrelfish/slab.h
include/barrelfish/slot_alloc.h
include/barrelfish/spawn_client.h
include/barrelfish/static_assert.h
include/barrelfish/sys_debug.h
include/barrelfish/syscalls.h
include/barrelfish/systime.h
include/barrelfish/terminal.h
include/barrelfish/thread_sync.h
include/barrelfish/threads.h
include/barrelfish/types.h
include/barrelfish/ump_chan.h
include/barrelfish/ump_endpoint.h
include/barrelfish/ump_impl.h
include/barrelfish/vregion.h
include/barrelfish/vspace.h
include/barrelfish/vspace_common.h
include/barrelfish/vspace_layout.h
include/barrelfish/vspace_mmu_aware.h
include/barrelfish/waitset.h
include/barrelfish/waitset_chan.h
include/barrelfish_kpi/capabilities.h
include/barrelfish_kpi/cpu.h
include/barrelfish_kpi/dispatcher_handle.h
include/barrelfish_kpi/dispatcher_shared.h
include/barrelfish_kpi/distcaps.h
include/barrelfish_kpi/domain_params.h
include/barrelfish_kpi/init.h
include/barrelfish_kpi/legacy_idc_buffer.h
include/barrelfish_kpi/lmp.h
include/barrelfish_kpi/sys_debug.h
include/barrelfish_kpi/syscalls.h
include/barrelfish_kpi/types.h
include/barrelfish_kpi/vmkit.h
include/barrelfish_kpi/vmx_controls.h
include/barrelfish_kpi/vmx_encodings.h
include/barrelfish_kpi/vmx_exit_reasons.h
include/bench/bench.h
include/bfdmuxtools/bfdmux.h
include/bfdmuxtools/codegen.h
include/bfdmuxtools/debug.h
include/bfdmuxtools/filter.h
include/bfdmuxtools/tools.h
include/bfdmuxvm/vm.h
include/bitmacros.h
include/bitmap.h
include/blk/ahci.h
include/bulk_transfer/bulk_allocator.h
include/bulk_transfer/bulk_local.h
include/bulk_transfer/bulk_net.h
include/bulk_transfer/bulk_net_proxy.h
include/bulk_transfer/bulk_sm.h
include/bulk_transfer/bulk_transfer.h
include/collections/flipbuffer.h
include/collections/hash_table.h
include/collections/list.h
include/collections/stack.h
include/concurrent/linked_list.h
include/contmng/contmng.h
include/cpiobin.h
include/cpuid/cpuid_spaces.h
include/deputy/nodeputy.h
include/devif/backends/blk/ahci_devq.h
include/devif/backends/debug.h
include/devif/backends/descq.h
include/devif/backends/net/e1000_devif.h
include/devif/backends/net/e10k_devif.h
include/devif/backends/net/ip.h
include/devif/backends/net/mlx4_devif.h
include/devif/backends/net/sfn5122f_devif.h
include/devif/backends/net/udp.h
include/devif/backends/null.h
include/devif/queue_interface.h
include/devif/queue_interface_backend.h
include/dist/args.h
include/dist/barrier.h
include/dist/service.h
include/dist/start.h
include/dlfcn.h
include/driverkit/driverkit.h
include/elf/elf.h
include/flounder/flounder.h
include/flounder/flounder_support.h
include/flounder/flounder_support_caps.h
include/flounder/flounder_support_lmp.h
include/flounder/flounder_support_ump.h
include/getopt/getopt.h
include/hashtable/dictionary.h
include/hashtable/hashtable.h
include/hashtable/multimap.h
include/hw_records.h
include/int_route/int_route_client.h
include/int_route/int_route_server.h
include/lwip/arch/sys_arch.h
include/lwip/lwip/barrelfish.h
include/lwip/lwip/sock_chan_support.h
include/lwip/lwipopts.h
include/lwip/netif/bfeth.h
include/lwip/netif/e1000.h
include/mackerel/io.h
include/mackerel/mackerel.h
include/maps/a15mpcore_map.h
include/maps/a53mpcore_map.h
include/maps/a57mpcore_map.h
include/maps/a72mpcore_map.h
include/maps/a9mpcore_map.h
include/maps/cn88xx.h
include/maps/omap44xx_map.h
include/maps/vexpress_map.h
include/mdb/mdb.h
include/mdb/mdb_counters.h
include/mdb/mdb_tree.h
include/mdb/types.h
include/mm/mm.h
include/mm/slot_alloc.h
include/multiboot.h
include/multicast.h
include/net_device_manager/net_device_manager.h
include/net_device_manager/net_ports_service.h
include/net_interfaces/flags.h
include/net_interfaces/net_interfaces.h
include/net_queue_manager/net_queue_manager.h
include/netbench/netbench.h
include/netd/netd.h
include/netd/netd_debug.h
include/nfs/nfs.h
include/nl_types.h
include/numa.h
include/octopus/barrier.h
include/octopus/capability_storage.h
include/octopus/definitions.h
include/octopus/getset.h
include/octopus/init.h
include/octopus/lock.h
include/octopus/octopus.h
include/octopus/parser/ast.h
include/octopus/pubsub.h
include/octopus/semaphores.h
include/octopus/trigger.h
include/octopus_server/debug.h
include/octopus_server/init.h
include/octopus_server/query.h
include/octopus_server/service.h
include/pci/confspace/mackerelpci.h
include/pci/confspace/pci_confspace.h
include/pci/devids.h
include/pci/mem.h
include/pci/pci.h
include/pci/pci_driver_client.h
include/pci/pci_driver_client_debug.h
include/pci/pci_types.h
include/posixcompat.h
include/procon/procon.h
include/semaphore.h
include/skb/skb.h
include/spawndomain/spawn_getopt.h
include/spawndomain/spawndomain.h
include/storage/storage.h
include/storage/vsa.h
include/storage/vsic.h
include/sys/dirent.h
include/sys/epoll.h
include/target/aarch64/barrelfish/dispatcher_target.h
include/target/aarch64/barrelfish/pmap_target.h
include/target/aarch64/barrelfish_kpi/arm_core_data.h
include/target/aarch64/barrelfish_kpi/dispatcher_shared_target.h
include/target/aarch64/barrelfish_kpi/paging_arm_v8.h
include/target/arm/barrelfish/dispatcher_target.h
include/target/arm/barrelfish/pmap_target.h
include/target/arm/barrelfish_kpi/arm_core_data.h
include/target/arm/barrelfish_kpi/dispatcher_shared_target.h
include/target/arm/barrelfish_kpi/paging_arm_v5.h
include/target/arm/barrelfish_kpi/paging_arm_v7.h
include/target/x86/barrelfish/pmap_target.h
include/target/x86/barrelfish_kpi/coredata_target.h
include/target/x86_32/barrelfish/dispatcher_target.h
include/target/x86_32/barrelfish/pmap_target.h
include/target/x86_32/barrelfish_kpi/dispatcher_shared_target.h
include/target/x86_32/barrelfish_kpi/paging_target.h
include/target/x86_32/barrelfish_kpi/registers_target.h
include/target/x86_64/barrelfish/dispatcher_target.h
include/target/x86_64/barrelfish/pmap_target.h
include/target/x86_64/barrelfish_kpi/cpu_target.h
include/target/x86_64/barrelfish_kpi/dispatcher_shared_target.h
include/target/x86_64/barrelfish_kpi/paging_target.h
include/target/x86_64/barrelfish_kpi/registers_target.h
include/tenaciousd/log.h
include/tenaciousd/queue.h
include/term/client/client.h
include/term/client/client_blocking.h
include/term/client/default_filters.h
include/term/client/default_triggers.h
include/term/client/defs.h
include/term/client/filter.h
include/term/client/session.h
include/term/client/trigger.h
include/term/defs.h
include/term/server/server.h
include/thc/thcinternal.h
include/thc/thcstubs.h
include/timer/timer.h
include/trace/trace.h
include/tweed/tweed.h
include/usb/class/usb_hid.h
include/usb/class/usb_hub.h
include/usb/usb.h
include/usb/usb_descriptor.h
include/usb/usb_device.h
include/usb/usb_driver.h
include/usb/usb_error.h
include/usb/usb_parse.h
include/usb/usb_request.h
include/usb/usb_transfer.h
include/usb/usb_xfer.h
include/values.h
include/vfs/fdtab.h
include/vfs/mmap.h
include/vfs/vfs.h
include/vfs/vfs_fd.h
include/vfs/vfs_path.h
kernel/Hakefile
kernel/arch/arm/debug.c
kernel/arch/arm/exec.c
kernel/arch/arm/exn.c
kernel/arch/arm/gdb_arch.c
kernel/arch/arm/irq.c
kernel/arch/arm/kputchar.c
kernel/arch/arm/misc.c
kernel/arch/arm/multiboot.c
kernel/arch/arm/omap_uart.c
kernel/arch/arm/pl011.c
kernel/arch/arm/rpi3_miniuart.c
kernel/arch/armv7/a15_gt.c
kernel/arch/armv7/a9_gt.c
kernel/arch/armv7/a9_scu.c
kernel/arch/armv7/boot.S
kernel/arch/armv7/boot.lds.in
kernel/arch/armv7/boot_driver.c
kernel/arch/armv7/boot_protocol.c
kernel/arch/armv7/bsp_start.S
kernel/arch/armv7/cpu.lds.in
kernel/arch/armv7/cpu_start.S
kernel/arch/armv7/dispatch.c
kernel/arch/armv7/exceptions.S
kernel/arch/armv7/gdb_arch.c
kernel/arch/armv7/init.c
kernel/arch/armv7/omap44xx_spinlock.c
kernel/arch/armv7/paging.c
kernel/arch/armv7/paging_init.c
kernel/arch/armv7/plat_a15mpcore.c
kernel/arch/armv7/plat_a9mpcore.c
kernel/arch/armv7/plat_basic_boot.c
kernel/arch/armv7/plat_id.c
kernel/arch/armv7/plat_omap44xx.c
kernel/arch/armv7/plat_omap44xx_boot.c
kernel/arch/armv7/plat_priv_cbar.c
kernel/arch/armv7/plat_vexpress.c
kernel/arch/armv7/plat_vexpress_consts.c
kernel/arch/armv7/set_stack_for_mode.S
kernel/arch/armv7/startup_arch.c
kernel/arch/armv7/syscall.c
kernel/arch/armv8/boot/boot_generic.c
kernel/arch/armv8/dispatch.c
kernel/arch/armv8/exceptions.S
kernel/arch/armv8/exec.c
kernel/arch/armv8/exn.c
kernel/arch/armv8/gdb_arch.c
kernel/arch/armv8/init.c
kernel/arch/armv8/kernel_multiboot2.c
kernel/arch/armv8/paging.c
kernel/arch/armv8/smc_hvc.S
kernel/arch/armv8/startup_arch.c
kernel/arch/armv8/syscall.c
kernel/arch/armv8/sysreg.S
kernel/arch/k1om/init.c
kernel/arch/k1om/linker.lds.in
kernel/arch/k1om/mcheck.c
kernel/arch/k1om/serial.c
kernel/arch/k1om/startup_arch.c
kernel/arch/k1om/xeon_phi.c
kernel/arch/x86/apic.c
kernel/arch/x86/cmos.c
kernel/arch/x86/conio.c
kernel/arch/x86/debugregs.c
kernel/arch/x86/ipi_notify.c
kernel/arch/x86/mcheck.c
kernel/arch/x86/misc.c
kernel/arch/x86/multiboot.c
kernel/arch/x86/perfmon.c
kernel/arch/x86/perfmon_amd.c
kernel/arch/x86/perfmon_intel.c
kernel/arch/x86/pic.c
kernel/arch/x86/pit.c
kernel/arch/x86/rtc.c
kernel/arch/x86/serial.c
kernel/arch/x86/startup_x86.c
kernel/arch/x86/syscall.c
kernel/arch/x86/timing.c
kernel/arch/x86_32/boot.S
kernel/arch/x86_32/debug.c
kernel/arch/x86_32/dispatch.c
kernel/arch/x86_32/entry.S
kernel/arch/x86_32/exec.c
kernel/arch/x86_32/gdb_arch.c
kernel/arch/x86_32/init.c
kernel/arch/x86_32/irq.c
kernel/arch/x86_32/linker.lds.in
kernel/arch/x86_32/microbenchmarks.c
kernel/arch/x86_32/page_mappings_arch.c
kernel/arch/x86_32/paging.c
kernel/arch/x86_32/pic.S
kernel/arch/x86_32/startup_arch.c
kernel/arch/x86_32/syscall.c
kernel/arch/x86_64/boot.S
kernel/arch/x86_64/debug.c
kernel/arch/x86_64/dispatch.c
kernel/arch/x86_64/entry.S
kernel/arch/x86_64/exec.c
kernel/arch/x86_64/gdb_arch.c
kernel/arch/x86_64/init.c
kernel/arch/x86_64/irq.c
kernel/arch/x86_64/linker.lds.in
kernel/arch/x86_64/microbenchmarks.c
kernel/arch/x86_64/page_mappings_arch.c
kernel/arch/x86_64/paging.c
kernel/arch/x86_64/startup_arch.c
kernel/arch/x86_64/svm_vmkit.c
kernel/arch/x86_64/syscall.c
kernel/arch/x86_64/vmkit.c
kernel/arch/x86_64/vmx_checks.c
kernel/arch/x86_64/vmx_vmkit.c
kernel/cap_delete.c
kernel/capabilities.c
kernel/coreboot.c
kernel/dispatch.c
kernel/gdb_stub.c
kernel/include/arch/aarch64/aarch64.h
kernel/include/arch/aarch64/global.h
kernel/include/arch/aarch64/misc.h
kernel/include/arch/arm/arm.h
kernel/include/arch/arm/gic.h
kernel/include/arch/arm/misc.h
kernel/include/arch/arm/omap_uart.h
kernel/include/arch/arm/pl011.h
kernel/include/arch/arm/platform.h
kernel/include/arch/arm/rpi3_miniuart.h
kernel/include/arch/arm/sp804.h
kernel/include/arch/arm/startup_arm.h
kernel/include/arch/arm/syscall_arm.h
kernel/include/arch/armv7/a15_gt.h
kernel/include/arch/armv7/a9_gt.h
kernel/include/arch/armv7/a9_scu.h
kernel/include/arch/armv7/arch_gdb_stub.h
kernel/include/arch/armv7/boot_protocol.h
kernel/include/arch/armv7/cp15.h
kernel/include/arch/armv7/exceptions.h
kernel/include/arch/armv7/init.h
kernel/include/arch/armv7/irq.h
kernel/include/arch/armv7/offsets.h
kernel/include/arch/armv7/omap44xx_spinlock.h
kernel/include/arch/armv7/paging_kernel_arch.h
kernel/include/arch/armv7/startup_arch.h
kernel/include/arch/armv8/arch_gdb_stub.h
kernel/include/arch/armv8/arm_hal.h
kernel/include/arch/armv8/exceptions.h
kernel/include/arch/armv8/global.h
kernel/include/arch/armv8/init.h
kernel/include/arch/armv8/irq.h
kernel/include/arch/armv8/kernel_multiboot2.h
kernel/include/arch/armv8/offsets.h
kernel/include/arch/armv8/start_aps.h
kernel/include/arch/armv8/startup_arch.h
kernel/include/arch/armv8/sysreg.h
kernel/include/arch/armv8/sysreg_spec.h
kernel/include/arch/k1om/init.h
kernel/include/arch/k1om/kernel_boot_param.h
kernel/include/arch/k1om/kernel_boot_param/apm_bios.h
kernel/include/arch/k1om/kernel_boot_param/e820.h
kernel/include/arch/k1om/kernel_boot_param/edd.h
kernel/include/arch/k1om/kernel_boot_param/ist_bios.h
kernel/include/arch/k1om/kernel_boot_param/screen_info.h
kernel/include/arch/k1om/kputchar.h
kernel/include/arch/k1om/linux_host.h
kernel/include/arch/k1om/offsets.h
kernel/include/arch/k1om/x86.h
kernel/include/arch/k1om/xeon_phi.h
kernel/include/arch/x86/apic.h
kernel/include/arch/x86/cmos.h
kernel/include/arch/x86/conio.h
kernel/include/arch/x86/debug.h
kernel/include/arch/x86/debugregs.h
kernel/include/arch/x86/global.h
kernel/include/arch/x86/ia32_spaces.h
kernel/include/arch/x86/ipi_notify.h
kernel/include/arch/x86/kputchar.h
kernel/include/arch/x86/mcheck.h
kernel/include/arch/x86/perfmon.h
kernel/include/arch/x86/perfmon_amd.h
kernel/include/arch/x86/perfmon_intel.h
kernel/include/arch/x86/pic.h
kernel/include/arch/x86/pit.h
kernel/include/arch/x86/rtc.h
kernel/include/arch/x86/start_aps.h
kernel/include/arch/x86/startup_x86.h
kernel/include/arch/x86/syscall.h
kernel/include/arch/x86/timing.h
kernel/include/arch/x86/x86.h
kernel/include/arch/x86_32/arch_gdb_stub.h
kernel/include/arch/x86_32/cpuid_spaces.h
kernel/include/arch/x86_32/ia32_spaces.h
kernel/include/arch/x86_32/init.h
kernel/include/arch/x86_32/irq.h
kernel/include/arch/x86_32/kputchar.h
kernel/include/arch/x86_32/misc.h
kernel/include/arch/x86_32/offsets.h
kernel/include/arch/x86_32/paging_kernel_arch.h
kernel/include/arch/x86_32/x86.h
kernel/include/arch/x86_64/arch_gdb_stub.h
kernel/include/arch/x86_64/cpuid_spaces.h
kernel/include/arch/x86_64/init.h
kernel/include/arch/x86_64/irq.h
kernel/include/arch/x86_64/kputchar.h
kernel/include/arch/x86_64/misc.h
kernel/include/arch/x86_64/offsets.h
kernel/include/arch/x86_64/paging_kernel_arch.h
kernel/include/arch/x86_64/svm_vmkit.h
kernel/include/arch/x86_64/vmkit.h
kernel/include/arch/x86_64/vmx_checks.h
kernel/include/arch/x86_64/vmx_vmkit.h
kernel/include/arch/x86_64/x86.h
kernel/include/cap_predicates.h
kernel/include/capabilities.h
kernel/include/coreboot.h
kernel/include/debug.h
kernel/include/dispatch.h
kernel/include/distcaps.h
kernel/include/exec.h
kernel/include/gdb_stub.h
kernel/include/kcb.h
kernel/include/kernel.h
kernel/include/kernel_multiboot.h
kernel/include/kputchar.h
kernel/include/logging.h
kernel/include/microbenchmarks.h
kernel/include/paging_generic.h
kernel/include/paging_kernel_helper.h
kernel/include/schedule.h
kernel/include/startup.h
kernel/include/sys_debug.h
kernel/include/syscall.h
kernel/include/systime.h
kernel/include/target/armv8/offsets_target.h
kernel/include/target/k1om/offsets_target.h
kernel/include/target/x86_32/offsets_target.h
kernel/include/target/x86_32/paging_kernel_target.h
kernel/include/target/x86_64/offsets_target.h
kernel/include/target/x86_64/paging_kernel_target.h
kernel/include/timer.h
kernel/include/useraccess.h
kernel/include/wakeup.h
kernel/kcb.c
kernel/logging.c
kernel/memmove.c
kernel/microbenchmarks.c
kernel/paging_generic.c
kernel/printf.c
kernel/schedule_rbed.c
kernel/schedule_rr.c
kernel/startup.c
kernel/stdlib.c
kernel/string.c
kernel/sys_debug.c
kernel/syscall.c
kernel/systime.c
kernel/timer.c
kernel/useraccess.c
kernel/wakeup.c
lib/acpi_client/Hakefile
lib/acpi_client/acpi_client.c
lib/acpica/Hakefile
lib/acpica/source/include/platform/acbarrelfish.h
lib/ahci/Hakefile
lib/ahci/ahci.c
lib/ahci/ahci_debug.h
lib/ahci/ahci_dma_pool.c
lib/ahci/ahci_internal.h
lib/ahci/ahci_util.c
lib/ahci/sata_fis.c
lib/ahci/storage_vsic.c
lib/angler/Hakefile
lib/angler/angler.c
lib/arranet/Hakefile
lib/arranet/arranet.c
lib/barrelfish/Hakefile
lib/barrelfish/arch/aarch64/debug.c
lib/barrelfish/arch/aarch64/dispatch.c
lib/barrelfish/arch/aarch64/pmap.c
lib/barrelfish/arch/aarch64/sys_debug.c
lib/barrelfish/arch/aarch64/syscalls.c
lib/barrelfish/arch/arm/debug.c
lib/barrelfish/arch/arm/dispatch.c
lib/barrelfish/arch/arm/entry.S
lib/barrelfish/arch/arm/pmap.c
lib/barrelfish/arch/arm/sys_debug.c
lib/barrelfish/arch/arm/syscall.S
lib/barrelfish/arch/arm/syscalls.c
lib/barrelfish/arch/x86/ipi_notify.c
lib/barrelfish/arch/x86/perfmon.c
lib/barrelfish/arch/x86/pmap.c
lib/barrelfish/arch/x86/sys_debug.c
lib/barrelfish/arch/x86/tls.c
lib/barrelfish/arch/x86_32/debug.c
lib/barrelfish/arch/x86_32/dispatch.c
lib/barrelfish/arch/x86_32/entry.S
lib/barrelfish/arch/x86_32/pmap.c
lib/barrelfish/arch/x86_32/sys_debug.c
lib/barrelfish/arch/x86_32/syscalls.c
lib/barrelfish/arch/x86_64/debug.c
lib/barrelfish/arch/x86_64/dispatch.c
lib/barrelfish/arch/x86_64/entry.S
lib/barrelfish/arch/x86_64/ldt.c
lib/barrelfish/arch/x86_64/pmap.c
lib/barrelfish/arch/x86_64/sys_debug.c
lib/barrelfish/arch/x86_64/syscalls.c
lib/barrelfish/bulk_transfer.c
lib/barrelfish/capabilities.c
lib/barrelfish/coreset.c
lib/barrelfish/debug.c
lib/barrelfish/deferred.c
lib/barrelfish/dispatch.c
lib/barrelfish/domain.c
lib/barrelfish/event_mutex.c
lib/barrelfish/flounder_glue_binding.c
lib/barrelfish/flounder_support.c
lib/barrelfish/heap.c
lib/barrelfish/idc.c
lib/barrelfish/idc_export.c
lib/barrelfish/include/arch/aarch64/arch/registers.h
lib/barrelfish/include/arch/aarch64/arch/threads.h
lib/barrelfish/include/arch/arm/arch/registers.h
lib/barrelfish/include/arch/arm/arch/threads.h
lib/barrelfish/include/arch/x86_32/arch/fpu.h
lib/barrelfish/include/arch/x86_32/arch/registers.h
lib/barrelfish/include/arch/x86_32/arch/threads.h
lib/barrelfish/include/arch/x86_64/arch/ldt.h
lib/barrelfish/include/arch/x86_64/arch/registers.h
lib/barrelfish/include/arch/x86_64/arch/threads.h
lib/barrelfish/include/init.h
lib/barrelfish/include/pmap_array/pmap_ds.h
lib/barrelfish/include/pmap_ll/pmap_ds.h
lib/barrelfish/include/pmap_priv.h
lib/barrelfish/include/target/x86/pmap_x86.h
lib/barrelfish/include/target/x86_32/registers_target.h
lib/barrelfish/include/target/x86_64/registers_target.h
lib/barrelfish/include/threads_priv.h
lib/barrelfish/include/waitset_chan_priv.h
lib/barrelfish/init.c
lib/barrelfish/inthandler.c
lib/barrelfish/lmp_chan.c
lib/barrelfish/lmp_endpoints.c
lib/barrelfish/monitor_client.c
lib/barrelfish/morecore.c
lib/barrelfish/msgbuf.c
lib/barrelfish/multihop_chan.c
lib/barrelfish/nameservice_client.c
lib/barrelfish/pmap_array.c
lib/barrelfish/pmap_ll.c
lib/barrelfish/pmap_serialise.c
lib/barrelfish/pmap_slab_mgmt.c
lib/barrelfish/ram_alloc.c
lib/barrelfish/resource_ctrl.c
lib/barrelfish/slab.c
lib/barrelfish/slot_alloc/range_slot_alloc.c
lib/barrelfish/slot_alloc/single_slot_alloc.c
lib/barrelfish/slot_alloc/slot_alloc.c
lib/barrelfish/slot_alloc/twolevel_slot_alloc.c
lib/barrelfish/spawn_client.c
lib/barrelfish/sys_debug.c
lib/barrelfish/syscalls.c
lib/barrelfish/systime.c
lib/barrelfish/terminal.c
lib/barrelfish/thread_sync.c
lib/barrelfish/threads.c
lib/barrelfish/trace.c
lib/barrelfish/ump_chan.c
lib/barrelfish/ump_endpoint.c
lib/barrelfish/vspace/arch/aarch64/layout.c
lib/barrelfish/vspace/arch/arm/layout.c
lib/barrelfish/vspace/arch/x86_32/layout.c
lib/barrelfish/vspace/arch/x86_64/layout.c
lib/barrelfish/vspace/memobj_anon.c
lib/barrelfish/vspace/memobj_append.c
lib/barrelfish/vspace/memobj_fixed.c
lib/barrelfish/vspace/memobj_numa.c
lib/barrelfish/vspace/memobj_one_frame.c
lib/barrelfish/vspace/memobj_one_frame_lazy.c
lib/barrelfish/vspace/memobj_one_frame_one_map.c
lib/barrelfish/vspace/memobj_pinned.c
lib/barrelfish/vspace/mmu_aware.c
lib/barrelfish/vspace/pinned.c
lib/barrelfish/vspace/utils.c
lib/barrelfish/vspace/vregion.c
lib/barrelfish/vspace/vspace.c
lib/barrelfish/vspace/vspace_internal.h
lib/barrelfish/waitset.c
lib/bench/Hakefile
lib/bench/arch/arm/bench_arch.c
lib/bench/arch/x86/bench_arch.c
lib/bench/bench.c
lib/bench/bench_ctl.c
lib/bfdmuxtools/Hakefile
lib/bfdmuxtools/codegen.c
lib/bfdmuxtools/opdefs.c
lib/bfdmuxtools/opdefs.h
lib/bfdmuxtools/tools.c
lib/bfdmuxvm/Hakefile
lib/bfdmuxvm/vm.c
lib/bitmap/bitmap.c
lib/blk/blk.c
lib/blk/blk_ahci/ahci_dev.h
lib/blk/blk_ahci/blk_ahci.h
lib/blk/blk_ahci/sata_fis.c
lib/blk/blk_ahci/sata_fis.h
lib/bomp/Hakefile
lib/bomp/Makefile
lib/bomp/backends/bomp_exclusive.c
lib/bomp/backends/bomp_shared.c
lib/bomp/backends/linux.c
lib/bomp/backends/xomp_gateway.c
lib/bomp/backends/xomp_gateway_client.c
lib/bomp/backends/xomp_master.c
lib/bomp/include/mutex.h
lib/bomp/include/spin.h
lib/bomp_new/Hakefile
lib/bulk_transfer/Hakefile
lib/bulk_transfer/backends/backend.c
lib/bulk_transfer/backends/backend.h
lib/bulk_transfer/backends/local/control_channel.c
lib/bulk_transfer/backends/net/bulk_net_backend.h
lib/bulk_transfer/backends/net/bulk_net_e10k.c
lib/bulk_transfer/backends/net/bulk_net_e10k.h
lib/bulk_transfer/backends/net/bulk_net_endpoint.c
lib/bulk_transfer/backends/net/bulk_net_no_copy.c
lib/bulk_transfer/backends/net/bulk_net_proxy.c
lib/bulk_transfer/backends/net/bulk_net_transfer.c
lib/bulk_transfer/backends/net/bulk_net_transfer.h
lib/bulk_transfer/backends/net/bulk_net_transparent.c
lib/bulk_transfer/backends/net/e10k_queue.h
lib/bulk_transfer/backends/net/stack_allocator.c
lib/bulk_transfer/backends/sm/buffers.c
lib/bulk_transfer/backends/sm/bulk_sm_impl.h
lib/bulk_transfer/backends/sm/channel.c
lib/bulk_transfer/backends/sm/endpoint.c
lib/bulk_transfer/backends/sm/flounder_helpers.c
lib/bulk_transfer/backends/sm/pending_msg.c
lib/bulk_transfer/backends/sm/pending_msg.h
lib/bulk_transfer/backends/sm/pool.c
lib/bulk_transfer/backends/sm/ws_helpers.c
lib/bulk_transfer/bulk_allocator.c
lib/bulk_transfer/bulk_buffer.c
lib/bulk_transfer/bulk_buffer.h
lib/bulk_transfer/bulk_channel.c
lib/bulk_transfer/bulk_endpoint.c
lib/bulk_transfer/bulk_pool.c
lib/bulk_transfer/bulk_pool.h
lib/bulk_transfer/bulk_transfer.c
lib/bulk_transfer/control_channel.c
lib/bulk_transfer/helpers.h
lib/collections/Hakefile
lib/collections/flipbuffer.c
lib/collections/hash_table.c
lib/collections/list.c
lib/collections/stack.c
lib/concurrent/Hakefile
lib/concurrent/linked_list.c
lib/contmng/Hakefile
lib/contmng/contmng.c
lib/cpio/Hakefile
lib/cpio/cpiobin.c
lib/cpuid/Hakefile
lib/crt/Hakefile
lib/crt/arch/arm/crt0.S
lib/crt/arch/k1om/crt0.S
lib/crt/arch/x86_32/crt0.S
lib/crt/arch/x86_64/crt0.S
lib/crt/crtbegin.c
lib/crt/crtend.c
lib/cxx/Hakefile
lib/cxx/unwind/unwind_backend.c
lib/debug_log/Hakefile
lib/demandpaging/Hakefile
lib/devif/Hakefile
lib/devif/backends/debug/Hakefile
lib/devif/backends/debug/debug.h
lib/devif/backends/debug/devif_backend_debug.c
lib/devif/backends/idc/Hakefile
lib/devif/backends/idc/desc_queue.c
lib/devif/backends/idc/descq_debug.h
lib/devif/backends/loopback/Hakefile
lib/devif/backends/loopback/loopback_queue.c
lib/devif/backends/net/headers.h
lib/devif/backends/net/ip/Hakefile
lib/devif/backends/net/ip/devif_backend_ip.c
lib/devif/backends/net/mlx4/drivers/net/mlx4/mlx4_devif_queue.c
lib/devif/backends/net/mlx4/drivers/net/mlx4/mlx4_devif_queue.h
lib/devif/backends/net/udp/Hakefile
lib/devif/backends/net/udp/devif_backend_udp.c
lib/devif/backends/null/Hakefile
lib/devif/backends/null/devif_backend_null.c
lib/devif/dqi_debug.h
lib/devif/queue_interface.c
lib/devif/queue_interface_internal.c
lib/devif/region.c
lib/devif/region.h
lib/devif/region_pool.c
lib/devif/region_pool.h
lib/dist/Hakefile
lib/dist/args.c
lib/dist/barrier.c
lib/dist/service.c
lib/dist/skb.c
lib/dist/skb.h
lib/dist/start.c
lib/dma/Hakefile
lib/dmalloc/Hakefile
lib/driverkit/Hakefile
lib/driverkit/dcontrol_client.c
lib/driverkit/dcontrol_service.c
lib/driverkit/ddomain_client.c
lib/driverkit/ddomain_service.c
lib/driverkit/debug.h
lib/driverkit/hwmodel.c
lib/driverkit/iommu_client.c
lib/driverkit/modules.c
lib/elf/Hakefile
lib/elf/elf.c
lib/elf/elf32.c
lib/elf/elf64.c
lib/gdtoa/Hakefile
lib/getopt/Hakefile
lib/getopt/getopt.c
lib/hashtable/Hakefile
lib/hashtable/hashtable.c
lib/int_route/Hakefile
lib/int_route/client/client.c
lib/int_route/msix_ctrl/debug.h
lib/int_route/server/init.c
lib/int_route/server/standalone.c
lib/libc/Hakefile
lib/libc/gdtoa/Hakefile
lib/libc/gen/Hakefile
lib/libc/inet/Hakefile
lib/libc/locale/Hakefile
lib/libc/resolv/Hakefile