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)
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
lib/libc/stdio/Hakefile
lib/libc/stdlib/Hakefile
lib/libc/stdtime/Hakefile
lib/libc/string/Hakefile
lib/libc/sys/Hakefile
lib/libc/sys/barrelfish/lock.c
lib/libc/sys/barrelfish/oldsys_morecore.c
lib/libc/sys/barrelfish_mmap.c
lib/linenoise/Hakefile
lib/lua/Hakefile
lib/lwip/Hakefile
lib/lwip/src/barrelfish/ARP_lookup_client.c
lib/lwip/src/barrelfish/idc_barrelfish.c
lib/lwip/src/barrelfish/idc_barrelfish.h
lib/lwip/src/barrelfish/idc_net_control.c
lib/lwip/src/barrelfish/lwip_barrelfish_debug.h
lib/lwip/src/barrelfish/mem_barrelfish.c
lib/lwip/src/barrelfish/mem_barrelfish.h
lib/lwip/src/netif/bfeth.c
lib/lwip/src/sys_arch.c
lib/lwip2/Hakefile
lib/lwip2/src/sys_arch.c
lib/lwip2/test/minimal/Hakefile
lib/mdb/Hakefile
lib/mdb/mdb.c
lib/mm/Hakefile
lib/mm/mm.c
lib/mm/slot_alloc.c
lib/msun/Hakefile
lib/net/Hakefile
lib/net_device_manager/Hakefile
lib/net_device_manager/device_manager.c
lib/net_device_manager/device_manager_debug.h
lib/net_device_manager/e10k_filt_cl_impl.c
lib/net_device_manager/port_management_support.h
lib/net_device_manager/port_service_impl.c
lib/net_device_manager/portalloc.c
lib/net_device_manager/portalloc.h
lib/net_device_manager/sfn5122f_filt_cl_impl.c
lib/net_device_manager/soft_filt_cl_impl.c
lib/net_interfaces/Hakefile
lib/net_interfaces/interface_raw.c
lib/net_queue_manager/Hakefile
lib/net_queue_manager/QM_benchmark.c
lib/net_queue_manager/QM_benchmark.h
lib/net_queue_manager/frag.c
lib/net_queue_manager/net_soft_filters_srv_impl.c
lib/net_queue_manager/queue_manager.c
lib/net_queue_manager/queue_manager_debug.h
lib/net_queue_manager/queue_manager_local.h
lib/net_sockets/Hakefile
lib/netbench/Hakefile
lib/netbench/netbench.c
lib/netd/ARP_lookup_service.c
lib/netd/Hakefile
lib/netd/lwipinit.c
lib/netd/netd.c
lib/netd/netd_private.h
lib/nfs/Hakefile
lib/nfs/nfs.c
lib/nfs/nfs_debug.h
lib/nfs/rpc.c
lib/nfs/rpc.h
lib/nfs/rpc_debug.h
lib/nfs/xdr_pbuf.c
lib/nfs/xdr_pbuf.h
lib/numa/alloc.c
lib/numa/numa.c
lib/numa/numa_bitmap.c
lib/numa/numa_debug.h
lib/numa/numa_internal.h
lib/numa/policy.c
lib/numa/utilities.c
lib/octopus/Hakefile
lib/octopus/client/barriers.c
lib/octopus/client/capability_storage.c
lib/octopus/client/common.h
lib/octopus/client/getset.c
lib/octopus/client/handler.h
lib/octopus/client/locking.c
lib/octopus/client/nameservice_client.c
lib/octopus/client/octopus.c
lib/octopus/client/pubsub.c
lib/octopus/client/semaphores.c
lib/octopus/client/trigger.c
lib/octopus/parser/ast.c
lib/octopus/parser/parse_names.c
lib/octopus/parser/read.c
lib/octopus/parser/test_parser.c
lib/octopus/server/capstorage.c
lib/octopus/server/init.c
lib/octopus/server/queue.c
lib/octopus/server/queue.h
lib/octopus/server/service.c
lib/openssl-1.0.0d/Hakefile
lib/pci/Hakefile
lib/pci/confspace/pci_confspace.c
lib/pci/confspace/pcie_confspace.c
lib/pci/mem.c
lib/pci/pci_client.c
lib/pcre/Hakefile
lib/phoenix/Hakefile
lib/posixcompat/Hakefile
lib/posixcompat/_exit.c
lib/posixcompat/access.c
lib/posixcompat/alarm.c
lib/posixcompat/bferrno.c
lib/posixcompat/chdir.c
lib/posixcompat/chmod.c
lib/posixcompat/chroot.c
lib/posixcompat/close.c
lib/posixcompat/creat.c
lib/posixcompat/dirent.c
lib/posixcompat/dlfcn.c
lib/posixcompat/dup.c
lib/posixcompat/epoll.c
lib/posixcompat/fcntl.c
lib/posixcompat/fstat.c
lib/posixcompat/fsync.c
lib/posixcompat/ftruncate.c
lib/posixcompat/getcwd.c
lib/posixcompat/geteuid.c
lib/posixcompat/getgroups.c
lib/posixcompat/gethostid.c
lib/posixcompat/gethostname.c
lib/posixcompat/getpagesize.c
lib/posixcompat/getpid.c
lib/posixcompat/getpwent.c
lib/posixcompat/grp.c
lib/posixcompat/inheritance.c
lib/posixcompat/ioctl.c
lib/posixcompat/isatty.c
lib/posixcompat/kill.c
lib/posixcompat/link.c
lib/posixcompat/lseek.c
lib/posixcompat/memalign.c
lib/posixcompat/mkdir.c
lib/posixcompat/mprotect.c
lib/posixcompat/open.c
lib/posixcompat/pipe.c
lib/posixcompat/poll.c
lib/posixcompat/popen.c
lib/posixcompat/posixcompat.h
lib/posixcompat/pthreads.c
lib/posixcompat/pty.c
lib/posixcompat/pty.h
lib/posixcompat/read.c
lib/posixcompat/readlink.c
lib/posixcompat/readv.c
lib/posixcompat/remove.c
lib/posixcompat/rename.c
lib/posixcompat/rmdir.c
lib/posixcompat/sbrk.c
lib/posixcompat/sbrk_arrakis.c
lib/posixcompat/select.c
lib/posixcompat/semaphore.c
lib/posixcompat/setitimer.c
lib/posixcompat/setsid.c
lib/posixcompat/shm.c
lib/posixcompat/signal.c
lib/posixcompat/sockets.c
lib/posixcompat/stat.c
lib/posixcompat/termios.c
lib/posixcompat/time.c
lib/posixcompat/ttyname.c
lib/posixcompat/umask.c
lib/posixcompat/unixsock.h
lib/posixcompat/unlink.c
lib/posixcompat/userdb.h
lib/posixcompat/utime.c
lib/posixcompat/wait.c
lib/posixcompat/write.c
lib/procon/Hakefile
lib/procon/procon.c
lib/queue_service/Hakefile
lib/queue_service/client.c
lib/queue_service/debug.h
lib/queue_service/qs_internal.h
lib/queue_service/service.c
lib/rcce/Hakefile
lib/rcce/bcast.c
lib/rcce/internal.h
lib/rcce/rcce.c
lib/rcce/ring_barriers.c
lib/skb/Hakefile
lib/skb/helper.c
lib/skb/skb.c
lib/skb/skb_functions.c
lib/skb/skb_internal.h
lib/spawndomain/Hakefile
lib/spawndomain/arch.h
lib/spawndomain/arch/aarch64/spawn_arch.c
lib/spawndomain/arch/arm/spawn_arch.c
lib/spawndomain/arch/x86/spawn_arch.c
lib/spawndomain/getopt.c
lib/spawndomain/multiboot.c
lib/spawndomain/spawn.c
lib/spawndomain/spawn.h
lib/spawndomain/spawn_vspace.c
lib/storage/Hakefile
lib/storage/storage.c
lib/storage/vsa.c
lib/tenaciousd/Hakefile
lib/tenaciousd/aio_vsic.c
lib/tenaciousd/log.c
lib/tenaciousd/queue.c
lib/tenaciousd/ram_vsic.c
lib/term/Hakefile
lib/term/client/client.c
lib/term/client/client_blocking.c
lib/term/client/default_filters.c
lib/term/client/default_triggers.c
lib/term/client/filter.c
lib/term/client/filter_priv.h
lib/term/client/session.c
lib/term/client/trigger.c
lib/term/client/trigger_priv.h
lib/term/server/server.c
lib/term/term_debug.h
lib/tftp/Hakefile
lib/thc/Hakefile
lib/thc/thc.c
lib/thc/thcstubs.c
lib/timer/Hakefile
lib/timer/timer.c
lib/trace/Hakefile
lib/trace/control.c
lib/trace/trace.c
lib/tweed/Hakefile
lib/tweed/tweed.c
lib/tzcode/Hakefile
lib/usb/Hakefile
lib/usb/class/usb_ethernet.c
lib/usb/class/usb_hid.c
lib/usb/class/usb_hub.c
lib/usb/class/usb_image.c
lib/usb/class/usb_msc.c
lib/usb/class/usb_pid.c
lib/usb/class/usb_printer.c
lib/usb/usb_device.c
lib/usb/usb_error.c
lib/usb/usb_manager_client.c
lib/usb/usb_manager_client.h
lib/usb/usb_parse.c
lib/usb/usb_request.c
lib/usb/usb_transfer.c
lib/vfs/Hakefile
lib/vfs/cache.c
lib/vfs/fdtab.c
lib/vfs/fopen.c
lib/vfs/mmap.c
lib/vfs/vfs.c
lib/vfs/vfs_backends.h
lib/vfs/vfs_blockdevfs.c
lib/vfs/vfs_blockdevfs.h
lib/vfs/vfs_blockdevfs_ahci.c
lib/vfs/vfs_blockdevfs_ata.c
lib/vfs/vfs_blockdevfs_megaraid.c
lib/vfs/vfs_cache.c
lib/vfs/vfs_fat.c
lib/vfs/vfs_fat_conv.c
lib/vfs/vfs_fat_conv.h
lib/vfs/vfs_fd.c
lib/vfs/vfs_nfs.c
lib/vfs/vfs_ops.h
lib/vfs/vfs_path.c
lib/vfs/vfs_ramfs.c
lib/virtio/Hakefile
lib/vis/Hakefile
lib/x86emu/Hakefile
lib/xeon_phi/Hakefile
lib/xeon_phi/xeon_phi_domain.c
lib/zlib/Hakefile
platforms/Hakefile
schemas/Hakefile
socs/Hakefile
tools/arm-mkbootcpio.sh
tools/arm-mkbootelf.sh
tools/arm_boot/Hakefile
tools/arm_boot/arm_bootimage.c
tools/arm_gem5/boot_gem5.sh
tools/arm_molly/Hakefile
tools/arm_molly/lib.c
tools/arm_molly/molly_boot32.S
tools/arm_molly/molly_init32.c
tools/arm_molly/molly_init64.c
tools/arm_molly/molly_ld_script32.in
tools/armv8_bootimage/Hakefile
tools/armv8_bootimage/armv8_bootimage.c
tools/armv8_bootimage/blob.h
tools/armv8_bootimage/efi_loader.c
tools/asmoffsets/Hakefile
tools/asmoffsets/asmoffsets.c
tools/debug.gdb
tools/debug.sh
tools/demo/Aquarium/App.xaml.cs
tools/demo/Aquarium/Dialogs.cs
tools/demo/Aquarium/Key.xaml.cs
tools/demo/Aquarium/Window1.xaml.cs
tools/demo/TestAquarium/Program.cs
tools/elver/Hakefile
tools/elver/boot.S
tools/elver/elver.c
tools/elver/lib.c
tools/fastmodels/Hakefile
tools/fastmodels/util.h
tools/flounder/Backend.lhs
tools/flounder/CAbsSyntax.hs
tools/flounder/CSyntax.hs
tools/flounder/Hakefile
tools/flounder/Main.lhs
tools/flounder/Parser.hs
tools/flounder/Syntax.lhs
tools/flounder/tutorial.lhs
tools/fof/Compile.lhs
tools/fof/Constructs.lhs
tools/fof/Constructs.lhs-boot
tools/fof/Constructs/Arrays.lhs
tools/fof/Constructs/Conditionals.lhs
tools/fof/Constructs/Enumerations.lhs
tools/fof/Constructs/Functions.lhs
tools/fof/Constructs/References.lhs
tools/fof/Constructs/Strings.lhs
tools/fof/Constructs/Structures.lhs
tools/fof/Constructs/Typedef.lhs
tools/fof/Constructs/Unions.lhs
tools/fof/Eval.lhs
tools/fof/Expressions.lhs
tools/fof/Expressions.lhs-boot
tools/fof/FiletOFish.lhs
tools/fof/IL/FoF/Compile.lhs
tools/fof/IL/FoF/FoF.lhs
tools/fof/IL/FoF/Run.lhs
tools/fof/IL/Paka/Builders.lhs
tools/fof/IL/Paka/Compile.lhs
tools/fof/IL/Paka/Optimizer.lhs
tools/fof/IL/Paka/Paka.lhs
tools/fof/IL/Paka/Syntax.lhs
tools/fof/Libbarrelfish/HasDescendants.lhs
tools/fof/Libbarrelfish/MemToPhys.lhs
tools/fof/Libc/Assert.lhs
tools/fof/Libc/Printf.lhs
tools/fof/Main.lhs
tools/fof/Makefile
tools/fof/PureExpressions.lhs
tools/fof/Semantics.lhs
tools/fugu/FuguBackend.lhs
tools/fugu/Hakefile
tools/fugu/Main.lhs
tools/fugu/Makefile
tools/fugu/Parser.hs
tools/gen-gdbscript.sh
tools/hamlet/Hakefile
tools/hamlet/Hamlet.lhs
tools/hamlet/HamletAst.lhs
tools/hamlet/HamletBackend.lhs
tools/hamlet/Main.lhs
tools/hamlet/Parser.hs
tools/harness/README
tools/harness/builds.py
tools/harness/checkout.py
tools/harness/debug.py
tools/harness/harness.py
tools/harness/machines/msrc.py
tools/harness/machines/msrc_machinedata.py
tools/harness/machines/uw.py
tools/harness/machines/uw_machinedata.py
tools/harness/reprocess.py
tools/harness/results.py
tools/harness/scalebench.py
tools/harness/siteconfig/__init__.py
tools/harness/siteconfig/eth.py
tools/harness/siteconfig/msrc.py
tools/harness/siteconfig/uw.py
tools/harness/stats.py
tools/harness/tests/TimerTest.py
tools/harness/tests/__init__.py
tools/harness/tests/basicNetwork.py
tools/harness/tests/blk_tests.py
tools/harness/tests/bomp_sidebyside.py
tools/harness/tests/boottest.py
tools/harness/tests/buildall.py
tools/harness/tests/bulktests.py
tools/harness/tests/channel_cost.py
tools/harness/tests/clockdrift.py
tools/harness/tests/compiler-rt_builtins.py
tools/harness/tests/coreboottest.py
tools/harness/tests/devif_test.py
tools/harness/tests/echoserver.py
tools/harness/tests/fputest.py
tools/harness/tests/freemem.py
tools/harness/tests/greenmarl.py
tools/harness/tests/idctest.py
tools/harness/tests/irqtest.py
tools/harness/tests/libostest.py
tools/harness/tests/mathtest.py
tools/harness/tests/memtest.py
tools/harness/tests/monitortest.py
tools/harness/tests/mt_waitset.py
tools/harness/tests/multihoptests.py
tools/harness/tests/nfscat.py
tools/harness/tests/perfmontest.py
tools/harness/tests/phases.py
tools/harness/tests/proc_mgmt_test.py
tools/harness/tests/rcce.py
tools/harness/tests/rpc_cap.py
tools/harness/tests/rpctests.py
tools/harness/tests/skbtest.py
tools/harness/tests/skew.py
tools/harness/tests/splash_bomp.py
tools/harness/tests/tracing.py
tools/harness/tests/tsctests.py
tools/harness/tests/vmkit.py
tools/harness/tests/webserver.py
tools/harness/tests/xeonphi.py
tools/mackerel/Attr.hs
tools/mackerel/BitFieldDriver.hs
tools/mackerel/CAbsSyntax.hs
tools/mackerel/CSyntax.hs
tools/mackerel/Checks.hs
tools/mackerel/Dev.hs
tools/mackerel/Fields.hs
tools/mackerel/Hakefile
tools/mackerel/MackerelParser.hs
tools/mackerel/Main.hs
tools/mackerel/Poly.hs
tools/mackerel/RegisterTable.hs
tools/mackerel/ShiftDriver.hs
tools/mackerel/Space.hs
tools/mackerel/TypeName.hs
tools/mackerel/TypeTable.hs
tools/molly/Hakefile
tools/molly/molly_ld_script
tools/pleco/Hakefile
tools/pleco/Main.lhs
tools/pleco/Makefile
tools/pleco/Parser.hs
tools/run-pdflatex.sh
tools/schedsim/Hakefile
tools/schedsim/simulator.c
tools/skate/CSyntax.hs
tools/skate/SkateBackendCommon.hs
tools/sockeye/Main.hs
tools/sockeye/SockeyeAST.hs
tools/sockeye/SockeyeASTMeta.hs
tools/sockeye/SockeyeBackendIsabelle.hs
tools/sockeye/SockeyeBackendProlog.hs
tools/sockeye/SockeyeBackendPrologMultiDim.hs
tools/sockeye/SockeyeChecker.hs
tools/sockeye/SockeyeChecks.hs
tools/sockeye/SockeyeParser.hs
tools/sockeye/SockeyeParserAST.hs
tools/sockeye/SockeyeSymbolTable.hs
tools/sockeye/SockeyeSymbolTableBuilder.hs
tools/sockeye/v1/Main.hs
tools/sockeye/v1/SockeyeASTDecodingNet.hs
tools/sockeye/v1/SockeyeASTInstantiator.hs
tools/sockeye/v1/SockeyeASTParser.hs
tools/sockeye/v1/SockeyeASTTypeChecker.hs
tools/sockeye/v1/SockeyeBackendProlog.hs
tools/sockeye/v1/SockeyeChecks.hs
tools/sockeye/v1/SockeyeInstantiator.hs
tools/sockeye/v1/SockeyeNetBuilder.hs
tools/sockeye/v1/SockeyeParser.hs
tools/sockeye/v1/SockeyeTypeChecker.hs
tools/tracing/bfscope.py
tools/usbboot/Hakefile
tools/weever/Hakefile
tools/weever/elf64.c
tools/weever/lib.c
tools/weever/linker.lds
tools/weever/loader.c
trace_definitions/Hakefile
trace_definitions/trace_defs.pleco
usr/acpi/Hakefile
usr/acpi/acpi_debug.h
usr/acpi/acpi_ec.c
usr/acpi/acpi_service.c
usr/acpi/acpi_shared.h
usr/acpi/acpica_osglue.c
usr/acpi/arch/armv8/acpi_interrupts_arch.c
usr/acpi/arch/armv8/acpica_osglue_arch.c
usr/acpi/arch/x86/acpi_interrupts_arch.c
usr/acpi/arch/x86/acpica_osglue_arch.c
usr/acpi/arch/x86/ioapic.c
usr/acpi/arch/x86/ioapic.h
usr/acpi/arch/x86/ioapic_controller_client.c
usr/acpi/arch/x86/ioapic_controller_client.h
usr/acpi/arch/x86/video.c
usr/acpi/buttons.c
usr/acpi/intel_vtd.c
usr/acpi/intel_vtd.h
usr/acpi/lpc_ioapic_ioapic_impl.h
usr/acpi/lpc_ioapic_spaces.h
usr/acpi/pcilnk_controller_client.c
usr/acpi/pcilnk_controller_client.h
usr/acpi/vtd_debug.h
usr/acpi/vtd_domains.h
usr/acpi/vtd_sl_paging.h
usr/angler/Hakefile
usr/angler/angler.c
usr/arrakismon/Hakefile
usr/arrakismon/apic.c
usr/arrakismon/apic.h
usr/arrakismon/console.c
usr/arrakismon/console.h
usr/arrakismon/guest.c
usr/arrakismon/guest.h