Initial version of public stable barrelfish repository.
authorStefan Kästle <stefan.kaestle@inf.ethz.ch>
Fri, 8 Jul 2011 15:14:56 +0000 (17:14 +0200)
committerStefan Kästle <stefan.kaestle@inf.ethz.ch>
Fri, 8 Jul 2011 15:14:56 +0000 (17:14 +0200)
3304 files changed:
AUTHORS [new file with mode: 0644]
LICENSE [new file with mode: 0644]
README [new file with mode: 0644]
capabilities/Hakefile [new file with mode: 0644]
capabilities/caps.hl [new file with mode: 0644]
devices/Hakefile [new file with mode: 0644]
devices/ac97_base_audio.dev [new file with mode: 0644]
devices/ac97_ext_audio.dev [new file with mode: 0644]
devices/ac97_ext_codec.dev [new file with mode: 0644]
devices/ac97_ext_modem.dev [new file with mode: 0644]
devices/acpi_ec.dev [new file with mode: 0644]
devices/ahci_hba.dev [new file with mode: 0644]
devices/ahci_port.dev [new file with mode: 0644]
devices/amd_vmcb.dev [new file with mode: 0644]
devices/arm.dev [new file with mode: 0644]
devices/arm_icp_pic.dev [new file with mode: 0644]
devices/arm_icp_pit.dev [new file with mode: 0644]
devices/audio_nbm.dev [new file with mode: 0644]
devices/cmos.dev [new file with mode: 0644]
devices/cpuid.dev [new file with mode: 0644]
devices/crb_sif.dev [new file with mode: 0644]
devices/e1000.dev [new file with mode: 0644]
devices/ehci_cap.dev [new file with mode: 0644]
devices/ehci_op.dev [new file with mode: 0644]
devices/hpet.dev [new file with mode: 0644]
devices/ht_config.dev [new file with mode: 0644]
devices/ia32.dev [new file with mode: 0644]
devices/ixp2800_icp_pic.dev [new file with mode: 0644]
devices/ixp2800_icp_pit.dev [new file with mode: 0644]
devices/ixp2800_uart.dev [new file with mode: 0644]
devices/lpc_bridge.dev [new file with mode: 0644]
devices/lpc_dma.dev [new file with mode: 0644]
devices/lpc_ioapic.dev [new file with mode: 0644]
devices/lpc_kbd.dev [new file with mode: 0644]
devices/lpc_pci_config.dev [new file with mode: 0644]
devices/lpc_pic.dev [new file with mode: 0644]
devices/lpc_rtc.dev [new file with mode: 0644]
devices/lpc_rtc_spaces.dev [new file with mode: 0644]
devices/lpc_timer.dev [new file with mode: 0644]
devices/pc16550d_mem.dev [new file with mode: 0644]
devices/pc16550d_uart.dev [new file with mode: 0644]
devices/pci_hdr0.dev [new file with mode: 0644]
devices/pci_hdr0_mem.dev [new file with mode: 0644]
devices/pci_hdr1.dev [new file with mode: 0644]
devices/pl011_uart.dev [new file with mode: 0644]
devices/rck.dev [new file with mode: 0644]
devices/rtl8029as.dev [new file with mode: 0644]
devices/rtl8029as_spaces.dev [new file with mode: 0644]
devices/tulip.dev [new file with mode: 0644]
devices/x2apic.dev [new file with mode: 0644]
devices/x86_64_pagetable.dev [new file with mode: 0644]
devices/xapic.dev [new file with mode: 0644]
doc/000-overview/Hakefile [new file with mode: 0644]
doc/000-overview/LMP.pdf [new file with mode: 0644]
doc/000-overview/Overview.tex [new file with mode: 0644]
doc/000-overview/UMP.pdf [new file with mode: 0644]
doc/000-overview/cap_heirarchy.pdf [new file with mode: 0644]
doc/000-overview/cap_translation.pdf [new file with mode: 0644]
doc/000-overview/dcb.pdf [new file with mode: 0644]
doc/000-overview/graffle/Capabilities.graffle [new file with mode: 0644]
doc/000-overview/graffle/Capabilities_Addr.graffle [new file with mode: 0644]
doc/000-overview/graffle/Dispatcher.graffle [new file with mode: 0644]
doc/000-overview/graffle/LMP.graffle [new file with mode: 0644]
doc/000-overview/graffle/Overview.graffle [new file with mode: 0644]
doc/000-overview/graffle/UMP.graffle [new file with mode: 0644]
doc/000-overview/os-arch.pdf [new file with mode: 0644]
doc/001-glossary/Glossary.tex [new file with mode: 0644]
doc/001-glossary/Hakefile [new file with mode: 0644]
doc/001-glossary/Main.hs [new file with mode: 0644]
doc/002-mackerel/Hakefile [new file with mode: 0644]
doc/002-mackerel/Mackerel.tex [new file with mode: 0644]
doc/003-hake/Hake.tex [new file with mode: 0644]
doc/003-hake/Hakefile [new file with mode: 0644]
doc/004-virtual_memory/Hakefile [new file with mode: 0644]
doc/004-virtual_memory/VirtualMemory.tex [new file with mode: 0644]
doc/005-scc/Hakefile [new file with mode: 0644]
doc/005-scc/SCC.tex [new file with mode: 0644]
doc/005-scc/figures/exp1.pdf [new file with mode: 0644]
doc/005-scc/figures/exp1.svg [new file with mode: 0644]
doc/005-scc/figures/exp2.pdf [new file with mode: 0644]
doc/005-scc/figures/exp2.svg [new file with mode: 0644]
doc/005-scc/plots/header.gnuplot [new file with mode: 0644]
doc/005-scc/plots/mpbbench/Makefile [new file with mode: 0644]
doc/005-scc/plots/mpbbench/mpbbench_oneway.dat [new file with mode: 0644]
doc/005-scc/plots/mpbbench/mpbbench_oneway.pdf [new file with mode: 0644]
doc/005-scc/plots/mpbbench/mpbbench_recv.dat [new file with mode: 0644]
doc/005-scc/plots/mpbbench/mpbbench_send.dat [new file with mode: 0644]
doc/005-scc/plots/mpbbench/plot-line.sh [new file with mode: 0755]
doc/005-scc/plots/rcce_bench/Makefile [new file with mode: 0644]
doc/005-scc/plots/rcce_bench/bt.dat [new file with mode: 0644]
doc/005-scc/plots/rcce_bench/lu.dat [new file with mode: 0644]
doc/005-scc/plots/rcce_bench/plot-rcce-speedup.sh [new file with mode: 0755]
doc/005-scc/plots/rcce_bench/plot-rcce.sh [new file with mode: 0755]
doc/005-scc/plots/rcce_bench/rcce_bt.pdf [new file with mode: 0644]
doc/005-scc/plots/rcce_bench/rcce_bt_speedup.pdf [new file with mode: 0644]
doc/005-scc/plots/rcce_bench/rcce_lu.pdf [new file with mode: 0644]
doc/005-scc/plots/rcce_bench/rcce_lu_speedup.pdf [new file with mode: 0644]
doc/005-scc/sloccount.txt [new file with mode: 0644]
doc/006-routing/Hakefile [new file with mode: 0644]
doc/006-routing/Routing.tex [new file with mode: 0644]
doc/006-routing/api.h [new file with mode: 0644]
doc/006-routing/client-monitor.pdf [new file with mode: 0644]
doc/006-routing/client-monitor.vsd [new file with mode: 0644]
doc/006-routing/client-server.pdf [new file with mode: 0644]
doc/006-routing/client-server.vsd [new file with mode: 0644]
doc/006-routing/many-to-many.pdf [new file with mode: 0644]
doc/006-routing/many-to-many.vsd [new file with mode: 0644]
doc/007-Beehive/Beehive.tex [new file with mode: 0644]
doc/007-Beehive/Hakefile [new file with mode: 0644]
doc/008-tracing/Hakefile [new file with mode: 0644]
doc/008-tracing/Tracing.tex [new file with mode: 0644]
doc/009-notifications/Hakefile [new file with mode: 0644]
doc/009-notifications/Notify.tex [new file with mode: 0644]
doc/009-notifications/umpnotify.pdf [new file with mode: 0644]
doc/009-notifications/umpnotify.svg [new file with mode: 0644]
doc/010-spec/Hakefile [new file with mode: 0644]
doc/010-spec/Spec.tex [new file with mode: 0644]
doc/010-spec/app_cspace.dot [new file with mode: 0644]
doc/010-spec/cap_types.dot [new file with mode: 0644]
doc/010-spec/disp_states_simple.circo [new file with mode: 0644]
doc/010-spec/disp_states_simple_save_area_analysis.dot [new file with mode: 0644]
doc/010-spec/init_cspace.dot [new file with mode: 0644]
doc/011-idc/Hakefile [new file with mode: 0644]
doc/011-idc/IDC.tex [new file with mode: 0644]
doc/011-idc/figures/ump_bind.pdf [new file with mode: 0644]
doc/011-idc/figures/ump_bind.svg [new file with mode: 0644]
doc/012-services/Hakefile [new file with mode: 0644]
doc/012-services/README.txt [new file with mode: 0644]
doc/012-services/Services.tex [new file with mode: 0644]
doc/012-services/categories.txt [new file with mode: 0644]
doc/012-services/dep.txt [new file with mode: 0644]
doc/012-services/dep2-a-dot [new file with mode: 0644]
doc/012-services/dep2-a-dot.pdf [new file with mode: 0644]
doc/012-services/dep2-b-dot [new file with mode: 0644]
doc/012-services/dep2-b-dot.pdf [new file with mode: 0644]
doc/012-services/dep2-f-dot [new file with mode: 0644]
doc/012-services/dep2-f-dot.pdf [new file with mode: 0644]
doc/012-services/dep2-i-dot [new file with mode: 0644]
doc/012-services/dep2-i-dot.pdf [new file with mode: 0644]
doc/012-services/dependencies.txt [new file with mode: 0644]
doc/012-services/deptree.py [new file with mode: 0644]
doc/012-services/deptree2.py [new file with mode: 0644]
doc/012-services/layers.txt [new file with mode: 0644]
doc/012-services/makedeptxt.sh [new file with mode: 0755]
doc/012-services/priorities.txt [new file with mode: 0644]
doc/012-services/questions.txt [new file with mode: 0644]
doc/012-services/services-desc.txt [new file with mode: 0644]
doc/012-services/services.txt [new file with mode: 0644]
doc/012-services/status.txt [new file with mode: 0644]
doc/013-capability-mgmt/CapMgmt.tex [new file with mode: 0644]
doc/013-capability-mgmt/Hakefile [new file with mode: 0644]
doc/013-capability-mgmt/acks-problem.pdf [new file with mode: 0644]
doc/013-capability-mgmt/acks-problem.vsd [new file with mode: 0644]
doc/013-capability-mgmt/cap_types.dot [new file with mode: 0644]
doc/013-capability-mgmt/causal-problem.pdf [new file with mode: 0644]
doc/013-capability-mgmt/causal-problem.vsd [new file with mode: 0644]
doc/013-capability-mgmt/type_system.tex [new file with mode: 0644]
doc/Doxyfile.cmake [new file with mode: 0644]
doc/style/barrelfish.bib [new file with mode: 0644]
doc/style/bfish-logo.pdf [new file with mode: 0644]
doc/style/bfish-logo.png [new file with mode: 0644]
doc/style/bftn-template.tex [new file with mode: 0644]
doc/style/bftn.sty [new file with mode: 0644]
doc/style/defs.bib [new file with mode: 0644]
errors/Hakefile [new file with mode: 0644]
errors/errno.fugu [new file with mode: 0644]
hake/ARM.hs [new file with mode: 0644]
hake/ARM11MP.hs [new file with mode: 0644]
hake/ArchDefaults.hs [new file with mode: 0644]
hake/Args.hs [new file with mode: 0644]
hake/Beehive.hs [new file with mode: 0644]
hake/Config.hs.template [new file with mode: 0644]
hake/HakeTypes.hs [new file with mode: 0644]
hake/Hakefile [new file with mode: 0644]
hake/Main.hs [new file with mode: 0644]
hake/Path.hs [new file with mode: 0644]
hake/RuleDefs.hs [new file with mode: 0644]
hake/SCC.hs [new file with mode: 0644]
hake/X86_32.hs [new file with mode: 0644]
hake/X86_64.hs [new file with mode: 0644]
hake/XScale.hs [new file with mode: 0644]
hake/arm-mpcore-dM.txt [new file with mode: 0644]
hake/arm11mpcore-dM.txt [new file with mode: 0644]
hake/arm926ej-s-dM.txt [new file with mode: 0644]
hake/beehive-dM-noSTDC.txt [new file with mode: 0644]
hake/beehive-dM.txt [new file with mode: 0644]
hake/hake.sh [new file with mode: 0755]
hake/menu.lst.arm [new file with mode: 0644]
hake/menu.lst.beehive [new file with mode: 0644]
hake/menu.lst.m5 [new file with mode: 0644]
hake/menu.lst.scc [new file with mode: 0644]
hake/menu.lst.x86_32 [new file with mode: 0644]
hake/menu.lst.x86_64 [new file with mode: 0644]
hake/menu.lst.xscale [new file with mode: 0644]
hake/notes.txt [new file with mode: 0644]
hake/symbolic_targets.mk [new file with mode: 0644]
hake/x86_32-dM.txt [new file with mode: 0644]
hake/x86_64-dM.txt [new file with mode: 0644]
if/Hakefile [new file with mode: 0644]
if/arch/arm.if [new file with mode: 0644]
if/arch/beehive.if [new file with mode: 0644]
if/arch/scc.if [new file with mode: 0644]
if/arch/x86_32.if [new file with mode: 0644]
if/arch/x86_64.if [new file with mode: 0644]
if/arch/xscale.if [new file with mode: 0644]
if/bcast.if [new file with mode: 0644]
if/bench.if [new file with mode: 0644]
if/bfs.if [new file with mode: 0644]
if/boot_perfmon.if [new file with mode: 0644]
if/bulkbench.if [new file with mode: 0644]
if/ehci.if [new file with mode: 0644]
if/ether.if [new file with mode: 0644]
if/ether_control.if [new file with mode: 0644]
if/fb.if [new file with mode: 0644]
if/glue_bench.if [new file with mode: 0644]
if/hpet.if [new file with mode: 0644]
if/interdisp.if [new file with mode: 0644]
if/intermon.if [new file with mode: 0644]
if/keyboard.if [new file with mode: 0644]
if/lock.if [new file with mode: 0644]
if/lpc_kbd.if [new file with mode: 0644]
if/mem.if [new file with mode: 0644]
if/monitor.if [new file with mode: 0644]
if/monitor_blocking.if [new file with mode: 0644]
if/monitor_mem.if [new file with mode: 0644]
if/mouse.if [new file with mode: 0644]
if/nameservice.if [new file with mode: 0644]
if/netd.if [new file with mode: 0644]
if/pci.if [new file with mode: 0644]
if/ping_pong.if [new file with mode: 0644]
if/pixels.if [new file with mode: 0644]
if/platform/arm.if [new file with mode: 0644]
if/platform/beehive.if [new file with mode: 0644]
if/platform/scc.if [new file with mode: 0644]
if/platform/x86_32.if [new file with mode: 0644]
if/platform/x86_64.if [new file with mode: 0644]
if/platform/xscale.if [new file with mode: 0644]
if/rcce.if [new file with mode: 0644]
if/route.if [new file with mode: 0644]
if/route_coordinator.if [new file with mode: 0644]
if/routing.if [new file with mode: 0644]
if/serial.if [new file with mode: 0644]
if/skb.if [new file with mode: 0644]
if/skb_map.if [new file with mode: 0644]
if/spawn.if [new file with mode: 0644]
if/test.if [new file with mode: 0644]
if/timer.if [new file with mode: 0644]
if/trivfs.if [new file with mode: 0644]
if/types.if [new file with mode: 0644]
if/usb_driver.if [new file with mode: 0644]
if/usb_manager.if [new file with mode: 0644]
if/xcorecap.if [new file with mode: 0644]
if/xcorecapbench.if [new file with mode: 0644]
if/xmplcr.if [new file with mode: 0644]
if/xmplmsg.if [new file with mode: 0644]
if/xmplrpc.if [new file with mode: 0644]
if/xmplthc.if [new file with mode: 0644]
include/Hakefile [new file with mode: 0644]
include/_ctype.h [new file with mode: 0644]
include/arch/alpha/arch/inttypes.h [new file with mode: 0644]
include/arch/alpha/arch/stdint.h [new file with mode: 0644]
include/arch/arm/_fpmath.h [new file with mode: 0644]
include/arch/arm/arch/inttypes.h [new file with mode: 0644]
include/arch/arm/arch/setjmp.h [new file with mode: 0644]
include/arch/arm/arch/stdint.h [new file with mode: 0644]
include/arch/arm/barrelfish/bulk_transfer_arch.h [new file with mode: 0644]
include/arch/arm/barrelfish/core_state_arch.h [new file with mode: 0644]
include/arch/arm/barrelfish/cpu_arch.h [new file with mode: 0644]
include/arch/arm/barrelfish/curdispatcher_arch.h [new file with mode: 0644]
include/arch/arm/barrelfish/dispatcher_arch.h [new file with mode: 0644]
include/arch/arm/barrelfish/invocations_arch.h [new file with mode: 0644]
include/arch/arm/barrelfish/lmp_chan_arch.h [new file with mode: 0644]
include/arch/arm/barrelfish/pmap_arch.h [new file with mode: 0644]
include/arch/arm/barrelfish/syscall_arch.h [new file with mode: 0644]
include/arch/arm/barrelfish_kpi/cpu_arch.h [new file with mode: 0644]
include/arch/arm/barrelfish_kpi/dispatcher_shared_arch.h [new file with mode: 0644]
include/arch/arm/barrelfish_kpi/flags_arch.h [new file with mode: 0644]
include/arch/arm/barrelfish_kpi/generic_arch.h [new file with mode: 0644]
include/arch/arm/barrelfish_kpi/lmp_arch.h [new file with mode: 0644]
include/arch/arm/barrelfish_kpi/paging_arch.h [new file with mode: 0644]
include/arch/arm/barrelfish_kpi/registers_arch.h [new file with mode: 0644]
include/arch/arm/barrelfish_kpi/spinlocks_arch.h [new file with mode: 0644]
include/arch/arm/barrelfish_kpi/unknown_arch.h [new file with mode: 0644]
include/arch/arm/bench/bench_arch.h [new file with mode: 0644]
include/arch/arm/fenv.h [new file with mode: 0644]
include/arch/arm/float.h [new file with mode: 0644]
include/arch/arm/machine/_limits.h [new file with mode: 0644]
include/arch/arm/machine/endian.h [new file with mode: 0644]
include/arch/beehive/_fpmath.h [new file with mode: 0644]
include/arch/beehive/arch/inttypes.h [new file with mode: 0644]
include/arch/beehive/arch/setjmp.h [new file with mode: 0644]
include/arch/beehive/arch/stdint.h [new file with mode: 0644]
include/arch/beehive/barrelfish/bmp_chan.h [new file with mode: 0644]
include/arch/beehive/barrelfish/bulk_transfer_arch.h [new file with mode: 0644]
include/arch/beehive/barrelfish/core_state_arch.h [new file with mode: 0644]
include/arch/beehive/barrelfish/cpu_arch.h [new file with mode: 0644]
include/arch/beehive/barrelfish/curdispatcher_arch.h [new file with mode: 0644]
include/arch/beehive/barrelfish/dispatcher_arch.h [new file with mode: 0644]
include/arch/beehive/barrelfish/invocations_arch.h [new file with mode: 0644]
include/arch/beehive/barrelfish/lmp_chan_arch.h [new file with mode: 0644]
include/arch/beehive/barrelfish/pmap_arch.h [new file with mode: 0644]
include/arch/beehive/barrelfish/syscall_arch.h [new file with mode: 0644]
include/arch/beehive/barrelfish_kpi/bmp.h [new file with mode: 0644]
include/arch/beehive/barrelfish_kpi/cpu_arch.h [new file with mode: 0644]
include/arch/beehive/barrelfish_kpi/dispatcher_shared_arch.h [new file with mode: 0644]
include/arch/beehive/barrelfish_kpi/generic_arch.h [new file with mode: 0644]
include/arch/beehive/barrelfish_kpi/lmp_arch.h [new file with mode: 0644]
include/arch/beehive/barrelfish_kpi/paging_arch.h [new file with mode: 0644]
include/arch/beehive/barrelfish_kpi/registers_arch.h [new file with mode: 0644]
include/arch/beehive/barrelfish_kpi/spinlocks_arch.h [new file with mode: 0644]
include/arch/beehive/barrelfish_kpi/unknown_arch.h [new file with mode: 0644]
include/arch/beehive/beej7.h [new file with mode: 0644]
include/arch/beehive/bench/bench_arch.h [new file with mode: 0644]
include/arch/beehive/corearea.h [new file with mode: 0644]
include/arch/beehive/dcache.h [new file with mode: 0644]
include/arch/beehive/fenv.h [new file with mode: 0644]
include/arch/beehive/float.h [new file with mode: 0644]
include/arch/beehive/machine/_limits.h [new file with mode: 0644]
include/arch/beehive/machine/endian.h [new file with mode: 0644]
include/arch/beehive/regconvention.h [new file with mode: 0644]
include/arch/beehive/simctrl.h [new file with mode: 0644]
include/arch/beehive/stopcode.h [new file with mode: 0644]
include/arch/cc.h [new file with mode: 0644]
include/arch/ia64 [new file with mode: 0644]
include/arch/mips [new file with mode: 0644]
include/arch/mips64/arch/inttypes.h [new file with mode: 0644]
include/arch/mips64/arch/setjmp.h [new file with mode: 0644]
include/arch/mips64/arch/stdint.h [new file with mode: 0644]
include/arch/perf.h [new file with mode: 0644]
include/arch/powerpc [new file with mode: 0644]
include/arch/powerpc64/arch/asm.h [new file with mode: 0644]
include/arch/powerpc64/arch/inttypes.h [new file with mode: 0644]
include/arch/powerpc64/arch/setjmp.h [new file with mode: 0644]
include/arch/powerpc64/arch/stdint.h [new file with mode: 0644]
include/arch/scc/barrelfish/bulk_transfer_arch.h [new file with mode: 0644]
include/arch/scc/barrelfish/cpu_arch.h [new file with mode: 0644]
include/arch/sparc64 [new file with mode: 0644]
include/arch/sys_arch.h [new file with mode: 0644]
include/arch/x86/barrelfish/bulk_transfer_arch.h [new file with mode: 0644]
include/arch/x86/barrelfish/core_state_arch.h [new file with mode: 0644]
include/arch/x86/barrelfish/iocap_arch.h [new file with mode: 0644]
include/arch/x86/barrelfish/ipi_notify.h [new file with mode: 0644]
include/arch/x86/barrelfish/perfmon.h [new file with mode: 0644]
include/arch/x86/barrelfish_kpi/asm_inlines_arch.h [new file with mode: 0644]
include/arch/x86/barrelfish_kpi/perfmon_amd.h [new file with mode: 0644]
include/arch/x86/barrelfish_kpi/spinlocks_arch.h [new file with mode: 0644]
include/arch/x86/bench/bench_arch.h [new file with mode: 0644]
include/arch/x86_32/_fpmath.h [new file with mode: 0644]
include/arch/x86_32/arch/inttypes.h [new file with mode: 0644]
include/arch/x86_32/arch/setjmp.h [new file with mode: 0644]
include/arch/x86_32/arch/stdint.h [new file with mode: 0644]
include/arch/x86_32/barrelfish/bulk_transfer_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish/core_state_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish/cpu_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish/curdispatcher_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish/dispatcher_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish/invocations_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish/lmp_chan_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish/pmap_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish/syscall_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish_kpi/asm_inlines_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish_kpi/cpu_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish_kpi/dispatcher_shared_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish_kpi/eflags_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish_kpi/generic_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish_kpi/lmp_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish_kpi/paging_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish_kpi/pic_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish_kpi/registers_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish_kpi/shared_mem_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish_kpi/spinlocks_arch.h [new file with mode: 0644]
include/arch/x86_32/barrelfish_kpi/syscall_overflows_arch.h [new file with mode: 0644]
include/arch/x86_32/bench/bench_arch.h [new file with mode: 0644]
include/arch/x86_32/fenv.h [new file with mode: 0644]
include/arch/x86_32/float.h [new file with mode: 0644]
include/arch/x86_32/machine/_limits.h [new file with mode: 0644]
include/arch/x86_32/machine/endian.h [new file with mode: 0644]
include/arch/x86_64/_fpmath.h [new file with mode: 0644]
include/arch/x86_64/arch/inttypes.h [new file with mode: 0644]
include/arch/x86_64/arch/setjmp.h [new file with mode: 0644]
include/arch/x86_64/arch/stdint.h [new file with mode: 0644]
include/arch/x86_64/barrelfish/bulk_transfer_arch.h [new file with mode: 0644]
include/arch/x86_64/barrelfish/core_state_arch.h [new file with mode: 0644]
include/arch/x86_64/barrelfish/cpu_arch.h [new file with mode: 0644]
include/arch/x86_64/barrelfish/curdispatcher_arch.h [new file with mode: 0644]
include/arch/x86_64/barrelfish/dispatcher_arch.h [new file with mode: 0644]
include/arch/x86_64/barrelfish/invocations_arch.h [new file with mode: 0644]
include/arch/x86_64/barrelfish/ldt.h [new file with mode: 0644]
include/arch/x86_64/barrelfish/lmp_chan_arch.h [new file with mode: 0644]
include/arch/x86_64/barrelfish/pmap_arch.h [new file with mode: 0644]
include/arch/x86_64/barrelfish/syscall_arch.h [new file with mode: 0644]
include/arch/x86_64/barrelfish_kpi/asm_inlines_arch.h [new file with mode: 0644]
include/arch/x86_64/barrelfish_kpi/cpu_arch.h [new file with mode: 0644]
include/arch/x86_64/barrelfish_kpi/dispatcher_shared_arch.h [new file with mode: 0644]
include/arch/x86_64/barrelfish_kpi/eflags_arch.h [new file with mode: 0644]
include/arch/x86_64/barrelfish_kpi/generic_arch.h [new file with mode: 0644]
include/arch/x86_64/barrelfish_kpi/lmp_arch.h [new file with mode: 0644]
include/arch/x86_64/barrelfish_kpi/paging_arch.h [new file with mode: 0644]
include/arch/x86_64/barrelfish_kpi/registers_arch.h [new file with mode: 0644]
include/arch/x86_64/barrelfish_kpi/spinlocks_arch.h [new file with mode: 0644]
include/arch/x86_64/bench/bench_arch.h [new file with mode: 0644]
include/arch/x86_64/concurrent/arch/cas.h [new file with mode: 0644]
include/arch/x86_64/fenv.h [new file with mode: 0644]
include/arch/x86_64/float.h [new file with mode: 0644]
include/arch/x86_64/machine/_limits.h [new file with mode: 0644]
include/arch/x86_64/machine/asm.h [new file with mode: 0644]
include/arch/x86_64/machine/endian.h [new file with mode: 0644]
include/arch/x86_64/machine/fpu.h [new file with mode: 0644]
include/assert.h [new file with mode: 0644]
include/barrelfish/barrelfish.h [new file with mode: 0644]
include/barrelfish/bulk_transfer.h [new file with mode: 0644]
include/barrelfish/caddr.h [new file with mode: 0644]
include/barrelfish/cap_predicates.h [new file with mode: 0644]
include/barrelfish/capabilities.h [new file with mode: 0644]
include/barrelfish/core_state.h [new file with mode: 0644]
include/barrelfish/coreset.h [new file with mode: 0644]
include/barrelfish/cspace.h [new file with mode: 0644]
include/barrelfish/debug.h [new file with mode: 0644]
include/barrelfish/deferred.h [new file with mode: 0644]
include/barrelfish/dispatch.h [new file with mode: 0644]
include/barrelfish/dispatcher.h [new file with mode: 0644]
include/barrelfish/domain.h [new file with mode: 0644]
include/barrelfish/event_mutex.h [new file with mode: 0644]
include/barrelfish/event_queue.h [new file with mode: 0644]
include/barrelfish/except.h [new file with mode: 0644]
include/barrelfish/flounder_glue_binding.h [new file with mode: 0644]
include/barrelfish/heap.h [new file with mode: 0644]
include/barrelfish/idc.h [new file with mode: 0644]
include/barrelfish/idc_export.h [new file with mode: 0644]
include/barrelfish/inthandler.h [new file with mode: 0644]
include/barrelfish/lmp_chan.h [new file with mode: 0644]
include/barrelfish/lmp_endpoints.h [new file with mode: 0644]
include/barrelfish/memobj.h [new file with mode: 0644]
include/barrelfish/monitor_client.h [new file with mode: 0644]
include/barrelfish/morecore.h [new file with mode: 0644]
include/barrelfish/msgbuf.h [new file with mode: 0644]
include/barrelfish/nameservice_client.h [new file with mode: 0644]
include/barrelfish/pmap.h [new file with mode: 0644]
include/barrelfish/ram_alloc.h [new file with mode: 0644]
include/barrelfish/resource_ctrl.h [new file with mode: 0644]
include/barrelfish/slab.h [new file with mode: 0644]
include/barrelfish/slot_alloc.h [new file with mode: 0644]
include/barrelfish/spawn_client.h [new file with mode: 0644]
include/barrelfish/static_assert.h [new file with mode: 0644]
include/barrelfish/sys_debug.h [new file with mode: 0644]
include/barrelfish/syscalls.h [new file with mode: 0644]
include/barrelfish/terminal.h [new file with mode: 0644]
include/barrelfish/threads.h [new file with mode: 0644]
include/barrelfish/types.h [new file with mode: 0644]
include/barrelfish/ump_chan.h [new file with mode: 0644]
include/barrelfish/ump_endpoint.h [new file with mode: 0644]
include/barrelfish/ump_impl.h [new file with mode: 0644]
include/barrelfish/vregion.h [new file with mode: 0644]
include/barrelfish/vspace.h [new file with mode: 0644]
include/barrelfish/vspace_common.h [new file with mode: 0644]
include/barrelfish/vspace_layout.h [new file with mode: 0644]
include/barrelfish/vspace_mmu_aware.h [new file with mode: 0644]
include/barrelfish/waitset.h [new file with mode: 0644]
include/barrelfish_kpi/capabilities.h [new file with mode: 0644]
include/barrelfish_kpi/cpu.h [new file with mode: 0644]
include/barrelfish_kpi/dispatcher_handle.h [new file with mode: 0644]
include/barrelfish_kpi/dispatcher_shared.h [new file with mode: 0644]
include/barrelfish_kpi/domain_params.h [new file with mode: 0644]
include/barrelfish_kpi/init.h [new file with mode: 0644]
include/barrelfish_kpi/legacy_idc_buffer.h [new file with mode: 0644]
include/barrelfish_kpi/lmp.h [new file with mode: 0644]
include/barrelfish_kpi/sys_debug.h [new file with mode: 0644]
include/barrelfish_kpi/syscalls.h [new file with mode: 0644]
include/barrelfish_kpi/types.h [new file with mode: 0644]
include/barrelfish_kpi/vmkit.h [new file with mode: 0644]
include/bench/bench.h [new file with mode: 0644]
include/bexec.h [new file with mode: 0644]
include/bfdmuxtools/bfdmux.h [new file with mode: 0644]
include/bfdmuxtools/codegen.h [new file with mode: 0644]
include/bfdmuxtools/debug.h [new file with mode: 0644]
include/bfdmuxtools/filter.h [new file with mode: 0644]
include/bfdmuxtools/tools.h [new file with mode: 0644]
include/bfdmuxvm/vm.h [new file with mode: 0644]
include/collections/hash_table.h [new file with mode: 0644]
include/collections/list.h [new file with mode: 0644]
include/complex.h [new file with mode: 0644]
include/concurrent/linked_list.h [new file with mode: 0644]
include/contmng/contmng.h [new file with mode: 0644]
include/cpiobin.h [new file with mode: 0644]
include/cpuid/cpuid.h [new file with mode: 0644]
include/cpuid/cpuid_spaces.h [new file with mode: 0644]
include/ctype.h [new file with mode: 0644]
include/cxx/__bit_reference [new file with mode: 0644]
include/cxx/__config [new file with mode: 0644]
include/cxx/__functional_03 [new file with mode: 0644]
include/cxx/__functional_base [new file with mode: 0644]
include/cxx/__functional_base_03 [new file with mode: 0644]
include/cxx/__hash_table [new file with mode: 0644]
include/cxx/__locale [new file with mode: 0644]
include/cxx/__mutex_base [new file with mode: 0644]
include/cxx/__split_buffer [new file with mode: 0644]
include/cxx/__sso_allocator [new file with mode: 0644]
include/cxx/__std_stream [new file with mode: 0644]
include/cxx/__tree [new file with mode: 0644]
include/cxx/__tuple [new file with mode: 0644]
include/cxx/__tuple_03 [new file with mode: 0644]
include/cxx/algorithm [new file with mode: 0644]
include/cxx/array [new file with mode: 0644]
include/cxx/atomic [new file with mode: 0644]
include/cxx/bitset [new file with mode: 0644]
include/cxx/cassert [new file with mode: 0644]
include/cxx/ccomplex [new file with mode: 0644]
include/cxx/cctype [new file with mode: 0644]
include/cxx/cerrno [new file with mode: 0644]
include/cxx/cfenv [new file with mode: 0644]
include/cxx/cfloat [new file with mode: 0644]
include/cxx/chrono [new file with mode: 0644]
include/cxx/cinttypes [new file with mode: 0644]
include/cxx/ciso646 [new file with mode: 0644]
include/cxx/climits [new file with mode: 0644]
include/cxx/clocale [new file with mode: 0644]
include/cxx/cmath [new file with mode: 0644]
include/cxx/codecvt [new file with mode: 0644]
include/cxx/complex [new file with mode: 0644]
include/cxx/complex.h [new file with mode: 0644]
include/cxx/condition_variable [new file with mode: 0644]
include/cxx/csetjmp [new file with mode: 0644]
include/cxx/csignal [new file with mode: 0644]
include/cxx/cstdarg [new file with mode: 0644]
include/cxx/cstdbool [new file with mode: 0644]
include/cxx/cstddef [new file with mode: 0644]
include/cxx/cstdint [new file with mode: 0644]
include/cxx/cstdio [new file with mode: 0644]
include/cxx/cstdlib [new file with mode: 0644]
include/cxx/cstring [new file with mode: 0644]
include/cxx/ctgmath [new file with mode: 0644]
include/cxx/ctime [new file with mode: 0644]
include/cxx/cwchar [new file with mode: 0644]
include/cxx/cwctype [new file with mode: 0644]
include/cxx/deque [new file with mode: 0644]
include/cxx/exception [new file with mode: 0644]
include/cxx/ext/hash_map [new file with mode: 0644]
include/cxx/ext/hash_set [new file with mode: 0644]
include/cxx/forward_list [new file with mode: 0644]
include/cxx/fstream [new file with mode: 0644]
include/cxx/functional [new file with mode: 0644]
include/cxx/future [new file with mode: 0644]
include/cxx/initializer_list [new file with mode: 0644]
include/cxx/iomanip [new file with mode: 0644]
include/cxx/ios [new file with mode: 0644]
include/cxx/iosfwd [new file with mode: 0644]
include/cxx/iostream [new file with mode: 0644]
include/cxx/istream [new file with mode: 0644]
include/cxx/iterator [new file with mode: 0644]
include/cxx/limits [new file with mode: 0644]
include/cxx/list [new file with mode: 0644]
include/cxx/locale [new file with mode: 0644]
include/cxx/map [new file with mode: 0644]
include/cxx/memory [new file with mode: 0644]
include/cxx/mutex [new file with mode: 0644]
include/cxx/new [new file with mode: 0644]
include/cxx/numeric [new file with mode: 0644]
include/cxx/ostream [new file with mode: 0644]
include/cxx/queue [new file with mode: 0644]
include/cxx/random [new file with mode: 0644]
include/cxx/ratio [new file with mode: 0644]
include/cxx/regex [new file with mode: 0644]
include/cxx/scoped_allocator [new file with mode: 0644]
include/cxx/set [new file with mode: 0644]
include/cxx/sstream [new file with mode: 0644]
include/cxx/stack [new file with mode: 0644]
include/cxx/stdexcept [new file with mode: 0644]
include/cxx/streambuf [new file with mode: 0644]
include/cxx/string [new file with mode: 0644]
include/cxx/strstream [new file with mode: 0644]
include/cxx/system_error [new file with mode: 0644]
include/cxx/tgmath.h [new file with mode: 0644]
include/cxx/thread [new file with mode: 0644]
include/cxx/tuple [new file with mode: 0644]
include/cxx/type_traits [new file with mode: 0644]
include/cxx/typeindex [new file with mode: 0644]
include/cxx/typeinfo [new file with mode: 0644]
include/cxx/unordered_map [new file with mode: 0644]
include/cxx/unordered_set [new file with mode: 0644]
include/cxx/utility [new file with mode: 0644]
include/cxx/valarray [new file with mode: 0644]
include/cxx/vector [new file with mode: 0644]
include/deputy/nodeputy.h [new file with mode: 0644]
include/dirent.h [new file with mode: 0644]
include/dist/args.h [new file with mode: 0644]
include/dist/barrier.h [new file with mode: 0644]
include/dist/service.h [new file with mode: 0644]
include/dist/start.h [new file with mode: 0644]
include/dlfcn.h [new file with mode: 0644]
include/elf/elf.h [new file with mode: 0644]
include/errno.h [new file with mode: 0644]
include/ethersrv/ethersrv.h [new file with mode: 0644]
include/flounder/flounder.h [new file with mode: 0644]
include/flounder/flounder_support.h [new file with mode: 0644]
include/flounder/flounder_support_bmp.h [new file with mode: 0644]
include/flounder/flounder_support_caps.h [new file with mode: 0644]
include/flounder/flounder_support_lmp.h [new file with mode: 0644]
include/flounder/flounder_support_ump.h [new file with mode: 0644]
include/flounder/glue_internal.h [new file with mode: 0644]
include/flounder/oldflounder.h [new file with mode: 0644]
include/fpmath.h [new file with mode: 0644]
include/getopt.h [new file with mode: 0644]
include/getopt/getopt.h [new file with mode: 0644]
include/ieeefp.h [new file with mode: 0644]
include/inttypes.h [new file with mode: 0644]
include/ipv4/lwip/autoip.h [new file with mode: 0644]
include/ipv4/lwip/icmp.h [new file with mode: 0644]
include/ipv4/lwip/igmp.h [new file with mode: 0644]
include/ipv4/lwip/inet.h [new file with mode: 0644]
include/ipv4/lwip/inet_chksum.h [new file with mode: 0644]
include/ipv4/lwip/ip.h [new file with mode: 0644]
include/ipv4/lwip/ip_addr.h [new file with mode: 0644]
include/ipv4/lwip/ip_frag.h [new file with mode: 0644]
include/ipv6/lwip/icmp.h [new file with mode: 0644]
include/ipv6/lwip/inet.h [new file with mode: 0644]
include/ipv6/lwip/ip.h [new file with mode: 0644]
include/ipv6/lwip/ip_addr.h [new file with mode: 0644]
include/iso646.h [new file with mode: 0644]
include/limits.h [new file with mode: 0644]
include/locale.h [new file with mode: 0644]
include/lwip/api.h [new file with mode: 0644]
include/lwip/api_msg.h [new file with mode: 0644]
include/lwip/arch.h [new file with mode: 0644]
include/lwip/debug.h [new file with mode: 0644]
include/lwip/def.h [new file with mode: 0644]
include/lwip/dhcp.h [new file with mode: 0644]
include/lwip/dns.h [new file with mode: 0644]
include/lwip/err.h [new file with mode: 0644]
include/lwip/init.h [new file with mode: 0644]
include/lwip/mem.h [new file with mode: 0644]
include/lwip/memp.h [new file with mode: 0644]
include/lwip/memp_std.h [new file with mode: 0644]
include/lwip/netbuf.h [new file with mode: 0644]
include/lwip/netdb.h [new file with mode: 0644]
include/lwip/netif.h [new file with mode: 0644]
include/lwip/netifapi.h [new file with mode: 0644]
include/lwip/opt.h [new file with mode: 0644]
include/lwip/pbuf.h [new file with mode: 0644]
include/lwip/raw.h [new file with mode: 0644]
include/lwip/sio.h [new file with mode: 0644]
include/lwip/snmp.h [new file with mode: 0644]
include/lwip/snmp_asn1.h [new file with mode: 0644]
include/lwip/snmp_msg.h [new file with mode: 0644]
include/lwip/snmp_structs.h [new file with mode: 0644]
include/lwip/sockets.h [new file with mode: 0644]
include/lwip/stats.h [new file with mode: 0644]
include/lwip/sys.h [new file with mode: 0644]
include/lwip/tcp.h [new file with mode: 0644]
include/lwip/tcpip.h [new file with mode: 0644]
include/lwip/udp.h [new file with mode: 0644]
include/lwipopts.h [new file with mode: 0644]
include/mackerel/io.h [new file with mode: 0644]
include/mackerel/mackerel.h [new file with mode: 0644]
include/math.h [new file with mode: 0644]
include/mm/mm.h [new file with mode: 0644]
include/mm/slot_alloc.h [new file with mode: 0644]
include/multicast.h [new file with mode: 0644]
include/netif/bfeth.h [new file with mode: 0644]
include/netif/etharp.h [new file with mode: 0644]
include/netif/loopif.h [new file with mode: 0644]
include/netif/slipif.h [new file with mode: 0644]
include/nfs/mount_rpc.h [new file with mode: 0644]
include/nfs/nfs.h [new file with mode: 0644]
include/nfs/nfs_rpc.h [new file with mode: 0644]
include/nfs/xdr.h [new file with mode: 0644]
include/nl_types.h [new file with mode: 0644]
include/pci/devids.h [new file with mode: 0644]
include/pci/mem.h [new file with mode: 0644]
include/pci/pci.h [new file with mode: 0644]
include/printf.h [new file with mode: 0644]
include/rcce/RCCE.h [new file with mode: 0644]
include/rcce/RCCE_debug.h [new file with mode: 0644]
include/rcce/RCCE_lib.h [new file with mode: 0644]
include/rcce/RCCE_lib_pwr.h [new file with mode: 0644]
include/routing/routing.h [new file with mode: 0644]
include/runetype.h [new file with mode: 0644]
include/setjmp.h [new file with mode: 0644]
include/signal.h [new file with mode: 0644]
include/skb/skb.h [new file with mode: 0644]
include/spawndomain/getopt.h [new file with mode: 0644]
include/spawndomain/spawndomain.h [new file with mode: 0644]
include/stdarg.h [new file with mode: 0644]
include/stdbool.h [new file with mode: 0644]
include/stddef.h [new file with mode: 0644]
include/stdint.h [new file with mode: 0644]
include/stdio.h [new file with mode: 0644]
include/stdio_file.h [new file with mode: 0644]
include/stdlib.h [new file with mode: 0644]
include/string.h [new file with mode: 0644]
include/sys/_types.h [new file with mode: 0644]
include/sys/cdefs.h [new file with mode: 0644]
include/sys/endian.h [new file with mode: 0644]
include/sys/limits.h [new file with mode: 0644]
include/sys/stat.h [new file with mode: 0644]
include/sys/time.h [new file with mode: 0644]
include/sys/types.h [new file with mode: 0644]
include/target/arm/barrelfish/dispatcher_target.h [new file with mode: 0644]
include/target/arm/barrelfish/pmap_target.h [new file with mode: 0644]
include/target/arm/barrelfish_kpi/dispatcher_shared_target.h [new file with mode: 0644]
include/target/arm/barrelfish_kpi/paging_arm_v5.h [new file with mode: 0644]
include/target/beehive/barrelfish/dispatcher_target.h [new file with mode: 0644]
include/target/beehive/barrelfish_kpi/coredata_target.h [new file with mode: 0644]
include/target/beehive/barrelfish_kpi/dispatcher_shared_target.h [new file with mode: 0644]
include/target/x86/barrelfish/pmap_target.h [new file with mode: 0644]
include/target/x86/barrelfish_kpi/coredata_target.h [new file with mode: 0644]
include/target/x86_32/barrelfish/dispatcher_target.h [new file with mode: 0644]
include/target/x86_32/barrelfish/pmap_target.h [new file with mode: 0644]
include/target/x86_32/barrelfish_kpi/dispatcher_shared_target.h [new file with mode: 0644]
include/target/x86_32/barrelfish_kpi/paging_target.h [new file with mode: 0644]
include/target/x86_32/barrelfish_kpi/registers_target.h [new file with mode: 0644]
include/target/x86_64/barrelfish/dispatcher_target.h [new file with mode: 0644]
include/target/x86_64/barrelfish/pmap_target.h [new file with mode: 0644]
include/target/x86_64/barrelfish_kpi/cpu_target.h [new file with mode: 0644]
include/target/x86_64/barrelfish_kpi/dispatcher_shared_target.h [new file with mode: 0644]
include/target/x86_64/barrelfish_kpi/paging_target.h [new file with mode: 0644]
include/target/x86_64/barrelfish_kpi/registers_target.h [new file with mode: 0644]
include/termios.h [new file with mode: 0644]
include/thc/thc.h [new file with mode: 0644]
include/thc/thcinternal.h [new file with mode: 0644]
include/thc/thcstubs.h [new file with mode: 0644]
include/thc/thcsync.h [new file with mode: 0644]
include/time.h [new file with mode: 0644]
include/timer/timer.h [new file with mode: 0644]
include/trace/trace.h [new file with mode: 0644]
include/tweed/tweed.h [new file with mode: 0644]
include/unistd.h [new file with mode: 0644]
include/usb/debug.h [new file with mode: 0644]
include/usb/driver/driver.h [new file with mode: 0644]
include/usb/driver/driver_debug.h [new file with mode: 0644]
include/usb/driver/scsi.h [new file with mode: 0644]
include/usb/ehci/async_queue.h [new file with mode: 0644]
include/usb/ehci/ehci.h [new file with mode: 0644]
include/usb/ehci/ehci_core.h [new file with mode: 0644]
include/usb/ehci/ehci_debug.h [new file with mode: 0644]
include/usb/ehci/ehci_services.h [new file with mode: 0644]
include/usb/ehci/ehci_status.h [new file with mode: 0644]
include/usb/ehci/periodic_queue.h [new file with mode: 0644]
include/usb/error_codes.h [new file with mode: 0644]
include/usb/mem/usb_mem.h [new file with mode: 0644]
include/usb/usb/ch9.h [new file with mode: 0644]
include/usb/usb/device_commands.h [new file with mode: 0644]
include/usb/usb/driver_locator.h [new file with mode: 0644]
include/usb/usb/shared_state.h [new file with mode: 0644]
include/usb/usb/usb_debug.h [new file with mode: 0644]
include/usb/usb/usb_device.h [new file with mode: 0644]
include/usb/usb/usb_pipe.h [new file with mode: 0644]
include/usb/usb/usb_services.h [new file with mode: 0644]
include/usb/usb/usb_topology.h [new file with mode: 0644]
include/usb/usb/usbd.h [new file with mode: 0644]
include/usb/utility.h [new file with mode: 0644]
include/utime.h [new file with mode: 0644]
include/values.h [new file with mode: 0644]
include/vfs/mmap.h [new file with mode: 0644]
include/vfs/vfs.h [new file with mode: 0644]
include/vfs/vfs_path.h [new file with mode: 0644]
include/wchar.h [new file with mode: 0644]
include/wctype.h [new file with mode: 0644]
include/x86emu.h [new file with mode: 0644]
include/x86emu/debug.h [new file with mode: 0644]
include/x86emu/decode.h [new file with mode: 0644]
include/x86emu/fpu.h [new file with mode: 0644]
include/x86emu/fpu_regs.h [new file with mode: 0644]
include/x86emu/ops.h [new file with mode: 0644]
include/x86emu/prim_asm.h [new file with mode: 0644]
include/x86emu/prim_ops.h [new file with mode: 0644]
include/x86emu/regs.h [new file with mode: 0644]
include/x86emu/types.h [new file with mode: 0644]
include/x86emu/x86emui.h [new file with mode: 0644]
include/zconf.h [new file with mode: 0644]
include/zlib.h [new file with mode: 0644]
kernel/Hakefile [new file with mode: 0644]
kernel/arch/arm/boot.S [new file with mode: 0644]
kernel/arch/arm/exceptions.S [new file with mode: 0644]
kernel/arch/arm/exec.c [new file with mode: 0644]
kernel/arch/arm/exn.c [new file with mode: 0644]
kernel/arch/arm/gdb_arch.c [new file with mode: 0644]
kernel/arch/arm/init.c [new file with mode: 0644]
kernel/arch/arm/integrator.c [new file with mode: 0644]
kernel/arch/arm/kludges.c [new file with mode: 0644]
kernel/arch/arm/kputchar.c [new file with mode: 0644]
kernel/arch/arm/linker.lds.in [new file with mode: 0644]
kernel/arch/arm/microbenchmarks.c [new file with mode: 0644]
kernel/arch/arm/misc.c [new file with mode: 0644]
kernel/arch/arm/paging.c [new file with mode: 0644]
kernel/arch/arm/phys_mmap.c [new file with mode: 0644]
kernel/arch/arm/pl011_uart.c [new file with mode: 0644]
kernel/arch/arm/startup_arch.c [new file with mode: 0644]
kernel/arch/arm/syscall.c [new file with mode: 0644]
kernel/arch/beehive/Hakefile [new file with mode: 0644]
kernel/arch/beehive/beekernel.h [new file with mode: 0644]
kernel/arch/beehive/bmp.h [new file with mode: 0644]
kernel/arch/beehive/boot.S [new file with mode: 0644]
kernel/arch/beehive/context.S [new file with mode: 0644]
kernel/arch/beehive/core1.S [new file with mode: 0644]
kernel/arch/beehive/dcache.S [new file with mode: 0644]
kernel/arch/beehive/exec.c [new file with mode: 0644]
kernel/arch/beehive/findbits.S [new file with mode: 0644]
kernel/arch/beehive/gdb_arch.c [new file with mode: 0644]
kernel/arch/beehive/hyper.c [new file with mode: 0644]
kernel/arch/beehive/init.c [new file with mode: 0644]
kernel/arch/beehive/kputchar.c [new file with mode: 0644]
kernel/arch/beehive/microbenchmarks.c [new file with mode: 0644]
kernel/arch/beehive/misc.c [new file with mode: 0644]
kernel/arch/beehive/page_mappings_arch.c [new file with mode: 0644]
kernel/arch/beehive/ringbmp.c [new file with mode: 0644]
kernel/arch/beehive/ringtest.S [new file with mode: 0644]
kernel/arch/beehive/serial.c [new file with mode: 0644]
kernel/arch/beehive/slave.S [new file with mode: 0644]
kernel/arch/beehive/slavecode.mem [new file with mode: 0644]
kernel/arch/beehive/startup_arch.c [new file with mode: 0644]
kernel/arch/beehive/syscall.c [new file with mode: 0644]
kernel/arch/scc/boot.S [new file with mode: 0644]
kernel/arch/scc/klog.c [new file with mode: 0644]
kernel/arch/scc/rck.c [new file with mode: 0644]
kernel/arch/scc/syscall.c [new file with mode: 0644]
kernel/arch/x86/apic.c [new file with mode: 0644]
kernel/arch/x86/cmos.c [new file with mode: 0644]
kernel/arch/x86/conio.c [new file with mode: 0644]
kernel/arch/x86/debugregs.c [new file with mode: 0644]
kernel/arch/x86/init_ap_x86_32.S [new file with mode: 0644]
kernel/arch/x86/init_ap_x86_64.S [new file with mode: 0644]
kernel/arch/x86/ipi_notify.c [new file with mode: 0644]
kernel/arch/x86/mcheck.c [new file with mode: 0644]
kernel/arch/x86/misc.c [new file with mode: 0644]
kernel/arch/x86/multiboot.c [new file with mode: 0644]
kernel/arch/x86/perfmon_amd.c [new file with mode: 0644]
kernel/arch/x86/perfmon_intel.c [new file with mode: 0644]
kernel/arch/x86/pic.c [new file with mode: 0644]
kernel/arch/x86/pit.c [new file with mode: 0644]
kernel/arch/x86/rtc.c [new file with mode: 0644]
kernel/arch/x86/serial.c [new file with mode: 0644]
kernel/arch/x86/start_aps.c [new file with mode: 0644]
kernel/arch/x86/startup_x86.c [new file with mode: 0644]
kernel/arch/x86/syscall.c [new file with mode: 0644]
kernel/arch/x86/timing.c [new file with mode: 0644]
kernel/arch/x86_32/boot.S [new file with mode: 0644]
kernel/arch/x86_32/debug.c [new file with mode: 0644]
kernel/arch/x86_32/entry.S [new file with mode: 0644]
kernel/arch/x86_32/exec.c [new file with mode: 0644]
kernel/arch/x86_32/gdb_arch.c [new file with mode: 0644]
kernel/arch/x86_32/init.c [new file with mode: 0644]
kernel/arch/x86_32/irq.c [new file with mode: 0644]
kernel/arch/x86_32/linker.lds.in [new file with mode: 0644]
kernel/arch/x86_32/microbenchmarks.c [new file with mode: 0644]
kernel/arch/x86_32/page_mappings_arch.c [new file with mode: 0644]
kernel/arch/x86_32/paging.c [new file with mode: 0644]
kernel/arch/x86_32/pic.S [new file with mode: 0644]
kernel/arch/x86_32/startup_arch.c [new file with mode: 0644]
kernel/arch/x86_32/syscall.c [new file with mode: 0644]
kernel/arch/x86_64/boot.S [new file with mode: 0644]
kernel/arch/x86_64/debug.c [new file with mode: 0644]
kernel/arch/x86_64/entry.S [new file with mode: 0644]
kernel/arch/x86_64/exec.c [new file with mode: 0644]
kernel/arch/x86_64/gdb_arch.c [new file with mode: 0644]
kernel/arch/x86_64/init.c [new file with mode: 0644]
kernel/arch/x86_64/irq.c [new file with mode: 0644]
kernel/arch/x86_64/linker.lds.in [new file with mode: 0644]
kernel/arch/x86_64/microbenchmarks.c [new file with mode: 0644]
kernel/arch/x86_64/page_mappings_arch.c [new file with mode: 0644]
kernel/arch/x86_64/paging.c [new file with mode: 0644]
kernel/arch/x86_64/startup_arch.c [new file with mode: 0644]
kernel/arch/x86_64/syscall.c [new file with mode: 0644]
kernel/arch/x86_64/vmkit.c [new file with mode: 0644]
kernel/arch/xscale/boot.S [new file with mode: 0644]
kernel/arch/xscale/ixp2800_integrator.c [new file with mode: 0644]
kernel/arch/xscale/ixp2800_paging.c [new file with mode: 0644]
kernel/arch/xscale/ixp2800_uart.c [new file with mode: 0644]
kernel/arch/xscale/kputchar.c [new file with mode: 0644]
kernel/arch/xscale/linker.lds.in [new file with mode: 0644]
kernel/capabilities.c [new file with mode: 0644]
kernel/dispatch.c [new file with mode: 0644]
kernel/gdb_stub.c [new file with mode: 0644]
kernel/include/arch/arm/arch_gdb_stub.h [new file with mode: 0644]
kernel/include/arch/arm/arm.h [new file with mode: 0644]
kernel/include/arch/arm/arm_hal.h [new file with mode: 0644]
kernel/include/arch/arm/conio.h [new file with mode: 0644]
kernel/include/arch/arm/cp15.h [new file with mode: 0644]
kernel/include/arch/arm/exceptions.h [new file with mode: 0644]
kernel/include/arch/arm/init.h [new file with mode: 0644]
kernel/include/arch/arm/irq.h [new file with mode: 0644]
kernel/include/arch/arm/ixp2800_uart.h [new file with mode: 0644]
kernel/include/arch/arm/kputchar.h [new file with mode: 0644]
kernel/include/arch/arm/misc.h [new file with mode: 0644]
kernel/include/arch/arm/offsets.h [new file with mode: 0644]
kernel/include/arch/arm/paging_kernel_arch.h [new file with mode: 0644]
kernel/include/arch/arm/phys_mmap.h [new file with mode: 0644]
kernel/include/arch/arm/pl011_uart.h [new file with mode: 0644]
kernel/include/arch/beehive/arch_gdb_stub.h [new file with mode: 0644]
kernel/include/arch/beehive/conio.h [new file with mode: 0644]
kernel/include/arch/beehive/hyper.h [new file with mode: 0644]
kernel/include/arch/beehive/irq.h [new file with mode: 0644]
kernel/include/arch/beehive/kputchar.h [new file with mode: 0644]
kernel/include/arch/beehive/misc.h [new file with mode: 0644]
kernel/include/arch/beehive/offsets.h [new file with mode: 0644]
kernel/include/arch/beehive/paging_kernel_arch.h [new file with mode: 0644]
kernel/include/arch/scc/diteinfo.h [new file with mode: 0644]
kernel/include/arch/scc/rck.h [new file with mode: 0644]
kernel/include/arch/x86/apic.h [new file with mode: 0644]
kernel/include/arch/x86/cmos.h [new file with mode: 0644]
kernel/include/arch/x86/debugregs.h [new file with mode: 0644]
kernel/include/arch/x86/global.h [new file with mode: 0644]
kernel/include/arch/x86/ia32_spaces.h [new file with mode: 0644]
kernel/include/arch/x86/ipi_notify.h [new file with mode: 0644]
kernel/include/arch/x86/kputchar.h [new file with mode: 0644]
kernel/include/arch/x86/mcheck.h [new file with mode: 0644]
kernel/include/arch/x86/perfmon_amd.h [new file with mode: 0644]
kernel/include/arch/x86/perfmon_intel.h [new file with mode: 0644]
kernel/include/arch/x86/pit.h [new file with mode: 0644]
kernel/include/arch/x86/rtc.h [new file with mode: 0644]
kernel/include/arch/x86/start_aps.h [new file with mode: 0644]
kernel/include/arch/x86/startup_x86.h [new file with mode: 0644]
kernel/include/arch/x86/syscall.h [new file with mode: 0644]
kernel/include/arch/x86/timing.h [new file with mode: 0644]
kernel/include/arch/x86/x86.h [new file with mode: 0644]
kernel/include/arch/x86_32/arch_gdb_stub.h [new file with mode: 0644]
kernel/include/arch/x86_32/conio.h [new file with mode: 0644]
kernel/include/arch/x86_32/cpuid_spaces.h [new file with mode: 0644]
kernel/include/arch/x86_32/debug.h [new file with mode: 0644]
kernel/include/arch/x86_32/fpu.h [new file with mode: 0644]
kernel/include/arch/x86_32/ia32_spaces.h [new file with mode: 0644]
kernel/include/arch/x86_32/init.h [new file with mode: 0644]
kernel/include/arch/x86_32/irq.h [new file with mode: 0644]
kernel/include/arch/x86_32/kernel_multiboot.h [new file with mode: 0644]
kernel/include/arch/x86_32/kputchar.h [new file with mode: 0644]
kernel/include/arch/x86_32/misc.h [new file with mode: 0644]
kernel/include/arch/x86_32/offsets.h [new file with mode: 0644]
kernel/include/arch/x86_32/paging_kernel_arch.h [new file with mode: 0644]
kernel/include/arch/x86_32/pic.h [new file with mode: 0644]
kernel/include/arch/x86_32/x86.h [new file with mode: 0644]
kernel/include/arch/x86_64/arch_gdb_stub.h [new file with mode: 0644]
kernel/include/arch/x86_64/conio.h [new file with mode: 0644]
kernel/include/arch/x86_64/cpuid_spaces.h [new file with mode: 0644]
kernel/include/arch/x86_64/debug.h [new file with mode: 0644]
kernel/include/arch/x86_64/fpu.h [new file with mode: 0644]
kernel/include/arch/x86_64/ia32_spaces.h [new file with mode: 0644]
kernel/include/arch/x86_64/init.h [new file with mode: 0644]
kernel/include/arch/x86_64/irq.h [new file with mode: 0644]
kernel/include/arch/x86_64/kernel_multiboot.h [new file with mode: 0644]
kernel/include/arch/x86_64/kputchar.h [new file with mode: 0644]
kernel/include/arch/x86_64/misc.h [new file with mode: 0644]
kernel/include/arch/x86_64/offsets.h [new file with mode: 0644]
kernel/include/arch/x86_64/paging_kernel_arch.h [new file with mode: 0644]
kernel/include/arch/x86_64/pic.h [new file with mode: 0644]
kernel/include/arch/x86_64/vmkit.h [new file with mode: 0644]
kernel/include/arch/x86_64/x86.h [new file with mode: 0644]
kernel/include/cap_predicates.h [new file with mode: 0644]
kernel/include/capabilities.h [new file with mode: 0644]
kernel/include/dispatch.h [new file with mode: 0644]
kernel/include/exec.h [new file with mode: 0644]
kernel/include/gdb_stub.h [new file with mode: 0644]
kernel/include/kernel.h [new file with mode: 0644]
kernel/include/mdb.h [new file with mode: 0644]
kernel/include/microbenchmarks.h [new file with mode: 0644]
kernel/include/multiboot.h [new file with mode: 0644]
kernel/include/paging_kernel_helper.h [new file with mode: 0644]
kernel/include/schedule.h [new file with mode: 0644]
kernel/include/serial.h [new file with mode: 0644]
kernel/include/startup.h [new file with mode: 0644]
kernel/include/syscall.h [new file with mode: 0644]
kernel/include/target/x86_32/offsets_target.h [new file with mode: 0644]
kernel/include/target/x86_32/paging_kernel_target.h [new file with mode: 0644]
kernel/include/target/x86_64/offsets_target.h [new file with mode: 0644]
kernel/include/target/x86_64/paging_kernel_target.h [new file with mode: 0644]
kernel/include/wakeup.h [new file with mode: 0644]
kernel/mdb.c [new file with mode: 0644]
kernel/memmove.c [new file with mode: 0644]
kernel/memset.c [new file with mode: 0644]
kernel/microbenchmarks.c [new file with mode: 0644]
kernel/printf.c [new file with mode: 0644]
kernel/schedule_rbed.c [new file with mode: 0644]
kernel/schedule_rr.c [new file with mode: 0644]
kernel/startup.c [new file with mode: 0644]
kernel/stdlib.c [new file with mode: 0644]
kernel/string.c [new file with mode: 0644]
kernel/syscall.c [new file with mode: 0644]
kernel/wakeup.c [new file with mode: 0644]
lib/barrelfish/Hakefile [new file with mode: 0644]
lib/barrelfish/arch/arm/debug.c [new file with mode: 0644]
lib/barrelfish/arch/arm/dispatch.c [new file with mode: 0644]
lib/barrelfish/arch/arm/entry.S [new file with mode: 0644]
lib/barrelfish/arch/arm/pmap_arch.c [new file with mode: 0644]
lib/barrelfish/arch/arm/sys_debug.c [new file with mode: 0644]
lib/barrelfish/arch/arm/syscall.S [new file with mode: 0644]
lib/barrelfish/arch/arm/syscalls.c [new file with mode: 0644]
lib/barrelfish/arch/beehive/bmp_chan.c [new file with mode: 0644]
lib/barrelfish/arch/beehive/cswitch.S [new file with mode: 0644]
lib/barrelfish/arch/beehive/dcache.S [new file with mode: 0644]
lib/barrelfish/arch/beehive/dcachergn.c [new file with mode: 0644]
lib/barrelfish/arch/beehive/debug.c [new file with mode: 0644]
lib/barrelfish/arch/beehive/dispatch.c [new file with mode: 0644]
lib/barrelfish/arch/beehive/entry.S [new file with mode: 0644]
lib/barrelfish/arch/beehive/findbits.S [new file with mode: 0644]
lib/barrelfish/arch/beehive/pmap_arch.c [new file with mode: 0644]
lib/barrelfish/arch/beehive/syscalls.S [new file with mode: 0644]
lib/barrelfish/arch/beehive/syscalls.c [new file with mode: 0644]
lib/barrelfish/arch/x86/ipi_notify.c [new file with mode: 0644]
lib/barrelfish/arch/x86/perfmon.c [new file with mode: 0644]
lib/barrelfish/arch/x86/tls.c [new file with mode: 0644]
lib/barrelfish/arch/x86_32/debug.c [new file with mode: 0644]
lib/barrelfish/arch/x86_32/dispatch.c [new file with mode: 0644]
lib/barrelfish/arch/x86_32/entry.S [new file with mode: 0644]
lib/barrelfish/arch/x86_32/sys_debug.c [new file with mode: 0644]
lib/barrelfish/arch/x86_32/syscalls.c [new file with mode: 0644]
lib/barrelfish/arch/x86_64/debug.c [new file with mode: 0644]
lib/barrelfish/arch/x86_64/dispatch.c [new file with mode: 0644]
lib/barrelfish/arch/x86_64/entry.S [new file with mode: 0644]
lib/barrelfish/arch/x86_64/ldt.c [new file with mode: 0644]
lib/barrelfish/arch/x86_64/sys_debug.c [new file with mode: 0644]
lib/barrelfish/arch/x86_64/syscalls.c [new file with mode: 0644]
lib/barrelfish/bulk_transfer.c [new file with mode: 0644]
lib/barrelfish/capabilities.c [new file with mode: 0644]
lib/barrelfish/coreset.c [new file with mode: 0644]
lib/barrelfish/debug.c [new file with mode: 0644]
lib/barrelfish/deferred.c [new file with mode: 0644]
lib/barrelfish/dispatch.c [new file with mode: 0644]
lib/barrelfish/domain.c [new file with mode: 0644]
lib/barrelfish/event_mutex.c [new file with mode: 0644]
lib/barrelfish/event_queue.c [new file with mode: 0644]
lib/barrelfish/flounder_glue_binding.c [new file with mode: 0644]
lib/barrelfish/flounder_support.c [new file with mode: 0644]
lib/barrelfish/heap.c [new file with mode: 0644]
lib/barrelfish/idc.c [new file with mode: 0644]
lib/barrelfish/idc_export.c [new file with mode: 0644]
lib/barrelfish/include/arch/arm/arch/registers.h [new file with mode: 0644]
lib/barrelfish/include/arch/arm/arch/threads.h [new file with mode: 0644]
lib/barrelfish/include/arch/beehive/arch/registers.h [new file with mode: 0644]
lib/barrelfish/include/arch/beehive/arch/syscall.h [new file with mode: 0644]
lib/barrelfish/include/arch/beehive/arch/threads.h [new file with mode: 0644]
lib/barrelfish/include/arch/x86_32/arch/fpu.h [new file with mode: 0644]
lib/barrelfish/include/arch/x86_32/arch/registers.h [new file with mode: 0644]
lib/barrelfish/include/arch/x86_32/arch/threads.h [new file with mode: 0644]
lib/barrelfish/include/arch/x86_64/arch/fpu.h [new file with mode: 0644]
lib/barrelfish/include/arch/x86_64/arch/ldt.h [new file with mode: 0644]
lib/barrelfish/include/arch/x86_64/arch/registers.h [new file with mode: 0644]
lib/barrelfish/include/arch/x86_64/arch/threads.h [new file with mode: 0644]
lib/barrelfish/include/init.h [new file with mode: 0644]
lib/barrelfish/include/target/x86/pmap_x86.h [new file with mode: 0644]
lib/barrelfish/include/target/x86_32/registers_target.h [new file with mode: 0644]
lib/barrelfish/include/target/x86_64/registers_target.h [new file with mode: 0644]
lib/barrelfish/include/threads.h [new file with mode: 0644]
lib/barrelfish/include/waitset_chan.h [new file with mode: 0644]
lib/barrelfish/init.c [new file with mode: 0644]
lib/barrelfish/inthandler.c [new file with mode: 0644]
lib/barrelfish/lmp_chan.c [new file with mode: 0644]
lib/barrelfish/lmp_endpoints.c [new file with mode: 0644]
lib/barrelfish/monitor_client.c [new file with mode: 0644]
lib/barrelfish/morecore.c [new file with mode: 0644]
lib/barrelfish/msgbuf.c [new file with mode: 0644]
lib/barrelfish/nameservice_client.c [new file with mode: 0644]
lib/barrelfish/ram_alloc.c [new file with mode: 0644]
lib/barrelfish/resource_ctrl.c [new file with mode: 0644]
lib/barrelfish/slab.c [new file with mode: 0644]
lib/barrelfish/slot_alloc/internal.h [new file with mode: 0644]
lib/barrelfish/slot_alloc/multi_slot_alloc.c [new file with mode: 0644]
lib/barrelfish/slot_alloc/range_slot_alloc.c [new file with mode: 0644]
lib/barrelfish/slot_alloc/single_slot_alloc.c [new file with mode: 0644]
lib/barrelfish/slot_alloc/slot_alloc.c [new file with mode: 0644]
lib/barrelfish/spawn_client.c [new file with mode: 0644]
lib/barrelfish/target/x86/pmap_x86.c [new file with mode: 0644]
lib/barrelfish/target/x86_32/pmap_target.c [new file with mode: 0644]
lib/barrelfish/target/x86_64/pmap_target.c [new file with mode: 0644]
lib/barrelfish/terminal.c [new file with mode: 0644]
lib/barrelfish/thread_sync.c [new file with mode: 0644]
lib/barrelfish/threads.c [new file with mode: 0644]
lib/barrelfish/trace.c [new file with mode: 0644]
lib/barrelfish/ump_chan.c [new file with mode: 0644]
lib/barrelfish/ump_endpoint.c [new file with mode: 0644]
lib/barrelfish/vspace/arch/arm/layout.c [new file with mode: 0644]
lib/barrelfish/vspace/arch/beehive/layout.c [new file with mode: 0644]
lib/barrelfish/vspace/arch/x86_32/layout.c [new file with mode: 0644]
lib/barrelfish/vspace/arch/x86_64/layout.c [new file with mode: 0644]
lib/barrelfish/vspace/memobj_anon.c [new file with mode: 0644]
lib/barrelfish/vspace/memobj_one_frame.c [new file with mode: 0644]
lib/barrelfish/vspace/memobj_one_frame_lazy.c [new file with mode: 0644]
lib/barrelfish/vspace/memobj_one_frame_one_map.c [new file with mode: 0644]
lib/barrelfish/vspace/memobj_pinned.c [new file with mode: 0644]
lib/barrelfish/vspace/mmu_aware.c [new file with mode: 0644]
lib/barrelfish/vspace/pinned.c [new file with mode: 0644]
lib/barrelfish/vspace/utils.c [new file with mode: 0644]
lib/barrelfish/vspace/vregion.c [new file with mode: 0644]
lib/barrelfish/vspace/vspace.c [new file with mode: 0644]
lib/barrelfish/vspace/vspace_internal.h [new file with mode: 0644]
lib/barrelfish/waitset.c [new file with mode: 0644]
lib/bench/Hakefile [new file with mode: 0644]
lib/bench/arch/arm/bench_arch.c [new file with mode: 0644]
lib/bench/arch/beehive/bench_arch.c [new file with mode: 0644]
lib/bench/arch/x86/bench_arch.c [new file with mode: 0644]
lib/bench/bench.c [new file with mode: 0644]
lib/bfdmuxtools/Hakefile [new file with mode: 0644]
lib/bfdmuxtools/codegen.c [new file with mode: 0644]
lib/bfdmuxtools/opdefs.c [new file with mode: 0644]
lib/bfdmuxtools/opdefs.h [new file with mode: 0644]
lib/bfdmuxtools/tools.c [new file with mode: 0644]
lib/bfdmuxvm/Hakefile [new file with mode: 0644]
lib/bfdmuxvm/vm.c [new file with mode: 0644]
lib/bomp/Hakefile [new file with mode: 0644]
lib/bomp/Makefile [new file with mode: 0644]
lib/bomp/README [new file with mode: 0644]
lib/bomp/backend.h [new file with mode: 0644]
lib/bomp/bf_backend.c [new file with mode: 0644]
lib/bomp/libbomp.h [new file with mode: 0644]
lib/bomp/linux_backend.c [new file with mode: 0644]
lib/bomp/omp.c [new file with mode: 0644]
lib/bomp/omp.h [new file with mode: 0644]
lib/bomp/parallel.c [new file with mode: 0644]
lib/bomp/processing.c [new file with mode: 0644]
lib/bomp/spin.h [new file with mode: 0644]
lib/c/Hakefile [new file with mode: 0644]
lib/c/doc/filesystem_design [new file with mode: 0644]
lib/c/package.cfg [new file with mode: 0644]
lib/c/src/_fread.c [new file with mode: 0644]
lib/c/src/_srefill.c [new file with mode: 0644]
lib/c/src/arch-alpha/alpha-divrem.S [new file with mode: 0644]
lib/c/src/arch-alpha/alpha-divrem.m4 [new file with mode: 0644]
lib/c/src/arch-alpha/dispatch.S [new file with mode: 0644]
lib/c/src/arch-alpha/halt.S [new file with mode: 0644]
lib/c/src/arch-arm/asm.h [new file with mode: 0644]
lib/c/src/arch-arm/jmp.S [new file with mode: 0644]
lib/c/src/arch-beehive/jmp.S [new file with mode: 0644]
lib/c/src/arch-mips64/jmp.S [new file with mode: 0644]
lib/c/src/arch-powerpc64/jmp.S [new file with mode: 0644]
lib/c/src/arch-x86_32/asm.h [new file with mode: 0644]
lib/c/src/arch-x86_32/flt_rounds.c [new file with mode: 0644]
lib/c/src/arch-x86_32/jmp.S [new file with mode: 0644]
lib/c/src/arch-x86_64/asm.h [new file with mode: 0644]
lib/c/src/arch-x86_64/flt_rounds.c [new file with mode: 0644]
lib/c/src/arch-x86_64/jmp.S [new file with mode: 0644]
lib/c/src/asctime.c [new file with mode: 0644]
lib/c/src/assert.c [new file with mode: 0644]
lib/c/src/bsearch.c [new file with mode: 0644]
lib/c/src/calloc.c [new file with mode: 0644]
lib/c/src/clearerr.c [new file with mode: 0644]
lib/c/src/clock.c [new file with mode: 0644]
lib/c/src/difftime.c [new file with mode: 0644]
lib/c/src/errno.c [new file with mode: 0644]
lib/c/src/exit.c [new file with mode: 0644]
lib/c/src/fclose.c [new file with mode: 0644]
lib/c/src/feof.c [new file with mode: 0644]
lib/c/src/ferror.c [new file with mode: 0644]
lib/c/src/fflush.c [new file with mode: 0644]
lib/c/src/fgetc.c [new file with mode: 0644]
lib/c/src/fgets.c [new file with mode: 0644]
lib/c/src/floatio.h [new file with mode: 0644]
lib/c/src/format.h [new file with mode: 0644]
lib/c/src/fpclassify.c [new file with mode: 0644]
lib/c/src/fprintf.c [new file with mode: 0644]
lib/c/src/fputc.c [new file with mode: 0644]
lib/c/src/fputs.c [new file with mode: 0644]
lib/c/src/fread.c [new file with mode: 0644]
lib/c/src/fs-barrelfish/fopen.c [new file with mode: 0644]
lib/c/src/fs-null/fopen.c [new file with mode: 0644]
lib/c/src/fscanf.c [new file with mode: 0644]
lib/c/src/fseek.c [new file with mode: 0644]
lib/c/src/ftell.c [new file with mode: 0644]
lib/c/src/fwrite.c [new file with mode: 0644]
lib/c/src/gdtoa/_hdtoa.c [new file with mode: 0644]
lib/c/src/gdtoa/_hldtoa.c [new file with mode: 0644]
lib/c/src/gdtoa/_ldtoa.c [new file with mode: 0644]
lib/c/src/gdtoa/arm/arith.h [new file with mode: 0644]
lib/c/src/gdtoa/arm/gd_qnan.h [new file with mode: 0644]
lib/c/src/gdtoa/beehive/arith.h [new file with mode: 0644]
lib/c/src/gdtoa/beehive/gd_qnan.h [new file with mode: 0644]
lib/c/src/gdtoa/dmisc.c [new file with mode: 0644]
lib/c/src/gdtoa/dtoa.c [new file with mode: 0644]
lib/c/src/gdtoa/gdtoa.c [new file with mode: 0644]
lib/c/src/gdtoa/gdtoa.h [new file with mode: 0644]
lib/c/src/gdtoa/gdtoa_fltrnds.h [new file with mode: 0644]
lib/c/src/gdtoa/gdtoaimp.h [new file with mode: 0644]
lib/c/src/gdtoa/gethex.c [new file with mode: 0644]
lib/c/src/gdtoa/gmisc.c [new file with mode: 0644]
lib/c/src/gdtoa/hd_init.c [new file with mode: 0644]
lib/c/src/gdtoa/hexnan.c [new file with mode: 0644]
lib/c/src/gdtoa/misc.c [new file with mode: 0644]
lib/c/src/gdtoa/smisc.c [new file with mode: 0644]
lib/c/src/gdtoa/strtod.c [new file with mode: 0644]
lib/c/src/gdtoa/strtodg.c [new file with mode: 0644]
lib/c/src/gdtoa/strtof.c [new file with mode: 0644]
lib/c/src/gdtoa/strtord.c [new file with mode: 0644]
lib/c/src/gdtoa/sum.c [new file with mode: 0644]
lib/c/src/gdtoa/ulp.c [new file with mode: 0644]
lib/c/src/gdtoa/x86_32/arith.h [new file with mode: 0644]
lib/c/src/gdtoa/x86_32/gd_qnan.h [new file with mode: 0644]
lib/c/src/gdtoa/x86_64/arith.h [new file with mode: 0644]
lib/c/src/gdtoa/x86_64/gd_qnan.h [new file with mode: 0644]
lib/c/src/getchar.c [new file with mode: 0644]
lib/c/src/getenv.c [new file with mode: 0644]
lib/c/src/getopt.c [new file with mode: 0644]
lib/c/src/gmtime.c [new file with mode: 0644]
lib/c/src/k_r_malloc.h [new file with mode: 0644]
lib/c/src/local.h [new file with mode: 0644]
lib/c/src/locale.c [new file with mode: 0644]
lib/c/src/locale/ascii.c [new file with mode: 0644]
lib/c/src/locale/btowc.c [new file with mode: 0644]
lib/c/src/locale/collate.c [new file with mode: 0644]
lib/c/src/locale/collate.h [new file with mode: 0644]
lib/c/src/locale/collcmp.c [new file with mode: 0644]
lib/c/src/locale/fix_grouping.c [new file with mode: 0644]
lib/c/src/locale/iswctype.c [new file with mode: 0644]
lib/c/src/locale/ldpart.h [new file with mode: 0644]
lib/c/src/locale/lmessages.c [new file with mode: 0644]
lib/c/src/locale/lmessages.h [new file with mode: 0644]
lib/c/src/locale/lmonetary.c [new file with mode: 0644]
lib/c/src/locale/lmonetary.h [new file with mode: 0644]
lib/c/src/locale/lnumeric.c [new file with mode: 0644]
lib/c/src/locale/lnumeric.h [new file with mode: 0644]
lib/c/src/locale/mblen.c [new file with mode: 0644]
lib/c/src/locale/mblocal.h [new file with mode: 0644]
lib/c/src/locale/mbrlen.c [new file with mode: 0644]
lib/c/src/locale/mbrtowc.c [new file with mode: 0644]
lib/c/src/locale/mbsinit.c [new file with mode: 0644]
lib/c/src/locale/mbsnrtowcs.c [new file with mode: 0644]
lib/c/src/locale/mbsrtowcs.c [new file with mode: 0644]
lib/c/src/locale/mbstowcs.c [new file with mode: 0644]
lib/c/src/locale/mbtowc.c [new file with mode: 0644]
lib/c/src/locale/namespace.h [new file with mode: 0644]
lib/c/src/locale/nextwctype.c [new file with mode: 0644]
lib/c/src/locale/nomacros.c [new file with mode: 0644]
lib/c/src/locale/none.c [new file with mode: 0644]
lib/c/src/locale/runefile.h [new file with mode: 0644]
lib/c/src/locale/runetype.c [new file with mode: 0644]
lib/c/src/locale/setlocale.c [new file with mode: 0644]
lib/c/src/locale/setlocale.h [new file with mode: 0644]
lib/c/src/locale/table.c [new file with mode: 0644]
lib/c/src/locale/tolower.c [new file with mode: 0644]
lib/c/src/locale/toupper.c [new file with mode: 0644]
lib/c/src/locale/un-namespace.h [new file with mode: 0644]
lib/c/src/locale/wcrtomb.c [new file with mode: 0644]
lib/c/src/locale/wcsftime.c [new file with mode: 0644]
lib/c/src/locale/wcsnrtombs.c [new file with mode: 0644]
lib/c/src/locale/wcsrtombs.c [new file with mode: 0644]
lib/c/src/locale/wcstod.c [new file with mode: 0644]
lib/c/src/locale/wcstof.c [new file with mode: 0644]
lib/c/src/locale/wcstoimax.c [new file with mode: 0644]
lib/c/src/locale/wcstol.c [new file with mode: 0644]
lib/c/src/locale/wcstold.c [new file with mode: 0644]
lib/c/src/locale/wcstoll.c [new file with mode: 0644]
lib/c/src/locale/wcstombs.c [new file with mode: 0644]
lib/c/src/locale/wcstoul.c [new file with mode: 0644]
lib/c/src/locale/wcstoull.c [new file with mode: 0644]
lib/c/src/locale/wcstoumax.c [new file with mode: 0644]
lib/c/src/locale/wctob.c [new file with mode: 0644]
lib/c/src/locale/wctomb.c [new file with mode: 0644]
lib/c/src/locale/wctrans.c [new file with mode: 0644]
lib/c/src/locale/wctype.c [new file with mode: 0644]
lib/c/src/localtime.c [new file with mode: 0644]
lib/c/src/malloc.c [new file with mode: 0644]
lib/c/src/memchr.c [new file with mode: 0644]
lib/c/src/memcmp.c [new file with mode: 0644]
lib/c/src/memcpy.c [new file with mode: 0644]
lib/c/src/memmove.c [new file with mode: 0644]
lib/c/src/memset.c [new file with mode: 0644]
lib/c/src/mktime.c [new file with mode: 0644]
lib/c/src/msgcat.c [new file with mode: 0644]
lib/c/src/perror.c [new file with mode: 0644]
lib/c/src/printf.c [new file with mode: 0644]
lib/c/src/putchar.c [new file with mode: 0644]
lib/c/src/puts.c [new file with mode: 0644]
lib/c/src/qsort.c [new file with mode: 0644]
lib/c/src/rand.c [new file with mode: 0644]
lib/c/src/realloc.c [new file with mode: 0644]
lib/c/src/remove.c [new file with mode: 0644]
lib/c/src/rename.c [new file with mode: 0644]
lib/c/src/rewind.c [new file with mode: 0644]
lib/c/src/scanf.c [new file with mode: 0644]
lib/c/src/setbuf.c [new file with mode: 0644]
lib/c/src/snprintf.c [new file with mode: 0644]
lib/c/src/sprintf.c [new file with mode: 0644]
lib/c/src/sscanf.c [new file with mode: 0644]
lib/c/src/strcat.c [new file with mode: 0644]
lib/c/src/strchr.c [new file with mode: 0644]
lib/c/src/strcmp.c [new file with mode: 0644]
lib/c/src/strcoll.c [new file with mode: 0644]
lib/c/src/strcpy.c [new file with mode: 0644]
lib/c/src/strcspn.c [new file with mode: 0644]
lib/c/src/strdup.c [new file with mode: 0644]
lib/c/src/strerror.c [new file with mode: 0644]
lib/c/src/strftime.c [new file with mode: 0644]
lib/c/src/strlcpy.c [new file with mode: 0644]
lib/c/src/strlen.c [new file with mode: 0644]
lib/c/src/strncat.c [new file with mode: 0644]
lib/c/src/strncmp.c [new file with mode: 0644]
lib/c/src/strncpy.c [new file with mode: 0644]
lib/c/src/strpbrk.c [new file with mode: 0644]
lib/c/src/strrchr.c [new file with mode: 0644]
lib/c/src/strspn.c [new file with mode: 0644]
lib/c/src/strstr.c [new file with mode: 0644]
lib/c/src/strtok.c [new file with mode: 0644]
lib/c/src/strtol.c [new file with mode: 0644]
lib/c/src/strtold.c [new file with mode: 0644]
lib/c/src/strtoll.c [new file with mode: 0644]
lib/c/src/strtoul.c [new file with mode: 0644]
lib/c/src/strtoull.c [new file with mode: 0644]
lib/c/src/strxfrm.c [new file with mode: 0644]
lib/c/src/swprintf.c [new file with mode: 0644]
lib/c/src/sys-barrelfish/sys_abort.c [new file with mode: 0644]
lib/c/src/sys-barrelfish/sys_exit.c [new file with mode: 0644]
lib/c/src/sys-barrelfish/sys_morecore.c [new file with mode: 0644]
lib/c/src/sys-barrelfish/sys_stdio.c [new file with mode: 0644]
lib/c/src/sys-barrelfish/sys_tmpfile.c [new file with mode: 0644]
lib/c/src/system.c [new file with mode: 0644]
lib/c/src/time.c [new file with mode: 0644]
lib/c/src/tmpfile.c [new file with mode: 0644]
lib/c/src/ungetc.c [new file with mode: 0644]
lib/c/src/vfprintf.c [new file with mode: 0644]
lib/c/src/vfscanf.c [new file with mode: 0644]
lib/c/src/vprintf.c [new file with mode: 0644]
lib/c/src/vsnprintf.c [new file with mode: 0644]
lib/c/src/vsscanf.c [new file with mode: 0644]
lib/c/src/vswprintf.c [new file with mode: 0644]
lib/c/src/wcscmp.c [new file with mode: 0644]
lib/c/src/wcscoll.c [new file with mode: 0644]
lib/c/src/wcscpy.c [new file with mode: 0644]
lib/c/src/wcslen.c [new file with mode: 0644]
lib/c/src/wcsncpy.c [new file with mode: 0644]
lib/c/src/wcsxfrm.c [new file with mode: 0644]
lib/c/src/wmemchr.c [new file with mode: 0644]
lib/c/src/wmemcmp.c [new file with mode: 0644]
lib/c/src/wmemcpy.c [new file with mode: 0644]
lib/c/src/wmemmove.c [new file with mode: 0644]
lib/c/src/wmemset.c [new file with mode: 0644]
lib/c/src/xprintf.c [new file with mode: 0644]
lib/c/src/xprintf_float.c [new file with mode: 0644]
lib/c/src/xprintf_int.c [new file with mode: 0644]
lib/c/src/xprintf_str.c [new file with mode: 0644]
lib/c/test/fs-null/test_fs.c [new file with mode: 0644]
lib/c/test/test_libs_c.c [new file with mode: 0644]
lib/c/test/test_libs_c.h [new file with mode: 0644]
lib/collections/Hakefile [new file with mode: 0644]
lib/collections/hash_table.c [new file with mode: 0644]
lib/collections/list.c [new file with mode: 0644]
lib/concurrent/Hakefile [new file with mode: 0644]
lib/concurrent/linked_list.c [new file with mode: 0644]
lib/contmng/Hakefile [new file with mode: 0644]
lib/contmng/contmng.c [new file with mode: 0644]
lib/cpio/Hakefile [new file with mode: 0644]
lib/cpio/cpiobin.c [new file with mode: 0644]
lib/crt/Hakefile [new file with mode: 0644]
lib/crt/arch/arm/crt0.S [new file with mode: 0644]
lib/crt/arch/beehive/crt0.S [new file with mode: 0644]
lib/crt/arch/x86_32/crt0.S [new file with mode: 0644]
lib/crt/arch/x86_64/crt0.S [new file with mode: 0644]
lib/crt/crtbegin.c [new file with mode: 0644]
lib/crt/crtend.c [new file with mode: 0644]
lib/cxx/CREDITS.TXT [new file with mode: 0644]
lib/cxx/Hakefile [new file with mode: 0644]
lib/cxx/LICENSE.TXT [new file with mode: 0644]
lib/cxx/src/algorithm.cpp [new file with mode: 0644]
lib/cxx/src/bind.cpp [new file with mode: 0644]
lib/cxx/src/chrono.cpp [new file with mode: 0644]
lib/cxx/src/condition_variable.cpp [new file with mode: 0644]
lib/cxx/src/exception.cpp [new file with mode: 0644]
lib/cxx/src/future.cpp [new file with mode: 0644]
lib/cxx/src/hash.cpp [new file with mode: 0644]
lib/cxx/src/ios.cpp [new file with mode: 0644]
lib/cxx/src/iostream.cpp [new file with mode: 0644]
lib/cxx/src/locale.cpp [new file with mode: 0644]
lib/cxx/src/memory.cpp [new file with mode: 0644]
lib/cxx/src/mutex.cpp [new file with mode: 0644]
lib/cxx/src/new.cpp [new file with mode: 0644]
lib/cxx/src/random.cpp [new file with mode: 0644]
lib/cxx/src/regex.cpp [new file with mode: 0644]
lib/cxx/src/stdexcept.cpp [new file with mode: 0644]
lib/cxx/src/string.cpp [new file with mode: 0644]
lib/cxx/src/strstream.cpp [new file with mode: 0644]
lib/cxx/src/system_error.cpp [new file with mode: 0644]
lib/cxx/src/thread.cpp [new file with mode: 0644]
lib/cxx/src/typeinfo.cpp [new file with mode: 0644]
lib/cxx/src/utility.cpp [new file with mode: 0644]
lib/cxx/src/valarray.cpp [new file with mode: 0644]
lib/dist/Hakefile [new file with mode: 0644]
lib/dist/README.txt [new file with mode: 0644]
lib/dist/args.c [new file with mode: 0644]
lib/dist/barrier.c [new file with mode: 0644]
lib/dist/service.c [new file with mode: 0644]
lib/dist/skb.c [new file with mode: 0644]
lib/dist/skb.h [new file with mode: 0644]
lib/dist/start.c [new file with mode: 0644]
lib/elf/Hakefile [new file with mode: 0644]
lib/elf/elf.c [new file with mode: 0644]
lib/elf/elf32.c [new file with mode: 0644]
lib/elf/elf64.c [new file with mode: 0644]
lib/ethersrv/Hakefile [new file with mode: 0644]
lib/ethersrv/ethersrv.c [new file with mode: 0644]
lib/ethersrv/ethersrv_debug.h [new file with mode: 0644]
lib/ethersrv/frag.c [new file with mode: 0644]
lib/getopt/Hakefile [new file with mode: 0644]
lib/getopt/getopt.c [new file with mode: 0644]
lib/lwip/CHANGELOG [new file with mode: 0644]
lib/lwip/COPYING [new file with mode: 0644]
lib/lwip/FILES [new file with mode: 0644]
lib/lwip/Hakefile [new file with mode: 0644]
lib/lwip/README [new file with mode: 0644]
lib/lwip/doc/FILES [new file with mode: 0644]
lib/lwip/doc/contrib.txt [new file with mode: 0644]
lib/lwip/doc/rawapi.txt [new file with mode: 0644]
lib/lwip/doc/savannah.txt [new file with mode: 0644]
lib/lwip/doc/snmp_agent.txt [new file with mode: 0644]
lib/lwip/doc/sys_arch.txt [new file with mode: 0644]
lib/lwip/src/FILES [new file with mode: 0644]
lib/lwip/src/api/api_lib.c [new file with mode: 0644]
lib/lwip/src/api/api_msg.c [new file with mode: 0644]
lib/lwip/src/api/err.c [new file with mode: 0644]
lib/lwip/src/api/netbuf.c [new file with mode: 0644]
lib/lwip/src/api/netdb.c [new file with mode: 0644]
lib/lwip/src/api/netifapi.c [new file with mode: 0644]
lib/lwip/src/api/sockets.c [new file with mode: 0644]
lib/lwip/src/api/tcpip.c [new file with mode: 0644]
lib/lwip/src/barrelfish/idc_barrelfish.c [new file with mode: 0644]
lib/lwip/src/barrelfish/idc_barrelfish.h [new file with mode: 0644]
lib/lwip/src/barrelfish/lwip_barrelfish_debug.h [new file with mode: 0644]
lib/lwip/src/barrelfish/mem_barrelfish.c [new file with mode: 0644]
lib/lwip/src/barrelfish/mem_barrelfish.h [new file with mode: 0644]
lib/lwip/src/core/dhcp.c [new file with mode: 0644]
lib/lwip/src/core/dns.c [new file with mode: 0644]
lib/lwip/src/core/init.c [new file with mode: 0644]
lib/lwip/src/core/ipv4/autoip.c [new file with mode: 0644]
lib/lwip/src/core/ipv4/icmp.c [new file with mode: 0644]
lib/lwip/src/core/ipv4/igmp.c [new file with mode: 0644]
lib/lwip/src/core/ipv4/inet.c [new file with mode: 0644]
lib/lwip/src/core/ipv4/inet_chksum.c [new file with mode: 0644]
lib/lwip/src/core/ipv4/ip.c [new file with mode: 0644]
lib/lwip/src/core/ipv4/ip_addr.c [new file with mode: 0644]
lib/lwip/src/core/ipv4/ip_frag.c [new file with mode: 0644]
lib/lwip/src/core/ipv6/README [new file with mode: 0644]
lib/lwip/src/core/ipv6/icmp6.c [new file with mode: 0644]
lib/lwip/src/core/ipv6/inet6.c [new file with mode: 0644]
lib/lwip/src/core/ipv6/ip6.c [new file with mode: 0644]
lib/lwip/src/core/ipv6/ip6_addr.c [new file with mode: 0644]
lib/lwip/src/core/mem.c [new file with mode: 0644]
lib/lwip/src/core/memp.c [new file with mode: 0644]
lib/lwip/src/core/netif.c [new file with mode: 0644]
lib/lwip/src/core/pbuf.c [new file with mode: 0644]
lib/lwip/src/core/raw.c [new file with mode: 0644]
lib/lwip/src/core/snmp/asn1_dec.c [new file with mode: 0644]
lib/lwip/src/core/snmp/asn1_enc.c [new file with mode: 0644]
lib/lwip/src/core/snmp/mib2.c [new file with mode: 0644]
lib/lwip/src/core/snmp/mib_structs.c [new file with mode: 0644]
lib/lwip/src/core/snmp/msg_in.c [new file with mode: 0644]
lib/lwip/src/core/snmp/msg_out.c [new file with mode: 0644]
lib/lwip/src/core/stats.c [new file with mode: 0644]
lib/lwip/src/core/sys.c [new file with mode: 0644]
lib/lwip/src/core/tcp.c [new file with mode: 0644]
lib/lwip/src/core/tcp_in.c [new file with mode: 0644]
lib/lwip/src/core/tcp_out.c [new file with mode: 0644]
lib/lwip/src/core/udp.c [new file with mode: 0644]
lib/lwip/src/netif/FILES [new file with mode: 0644]
lib/lwip/src/netif/bfeth.c [new file with mode: 0644]
lib/lwip/src/netif/etharp.c [new file with mode: 0644]
lib/lwip/src/netif/ethernetif.c [new file with mode: 0644]
lib/lwip/src/netif/loopif.c [new file with mode: 0644]
lib/lwip/src/netif/slipif.c [new file with mode: 0644]
lib/lwip/src/sys_arch.c [new file with mode: 0644]
lib/memusb/Hakefile [new file with mode: 0644]
lib/memusb/usb_mem.c [new file with mode: 0644]
lib/memusb/utility.c [new file with mode: 0644]
lib/mm/Hakefile [new file with mode: 0644]
lib/mm/mm.c [new file with mode: 0644]
lib/mm/slot_alloc.c [new file with mode: 0644]
lib/msun/Hakefile [new file with mode: 0644]
lib/msun/amd64/e_remainderf.S [new file with mode: 0644]
lib/msun/amd64/e_sqrt.S [new file with mode: 0644]
lib/msun/amd64/e_sqrtf.S [new file with mode: 0644]
lib/msun/amd64/e_sqrtl.S [new file with mode: 0644]
lib/msun/amd64/fenv.c [new file with mode: 0644]
lib/msun/amd64/s_llrint.S [new file with mode: 0644]
lib/msun/amd64/s_llrintf.S [new file with mode: 0644]
lib/msun/amd64/s_llrintl.S [new file with mode: 0644]
lib/msun/amd64/s_lrint.S [new file with mode: 0644]
lib/msun/amd64/s_lrintf.S [new file with mode: 0644]
lib/msun/amd64/s_lrintl.S [new file with mode: 0644]
lib/msun/amd64/s_remquo.S [new file with mode: 0644]
lib/msun/amd64/s_remquof.S [new file with mode: 0644]
lib/msun/amd64/s_remquol.S [new file with mode: 0644]
lib/msun/amd64/s_scalbn.S [new file with mode: 0644]
lib/msun/amd64/s_scalbnf.S [new file with mode: 0644]
lib/msun/amd64/s_scalbnl.S [new file with mode: 0644]
lib/msun/arm/fenv.c [new file with mode: 0644]
lib/msun/beehive/fenv.c [new file with mode: 0644]
lib/msun/ia64/fenv.c [new file with mode: 0644]
lib/msun/ia64/s_fma.S [new file with mode: 0644]
lib/msun/ia64/s_fmaf.S [new file with mode: 0644]
lib/msun/ia64/s_fmal.S [new file with mode: 0644]
lib/msun/ld128/invtrig.c [new file with mode: 0644]
lib/msun/ld128/invtrig.h [new file with mode: 0644]
lib/msun/ld128/k_cosl.c [new file with mode: 0644]
lib/msun/ld128/k_sinl.c [new file with mode: 0644]
lib/msun/ld128/k_tanl.c [new file with mode: 0644]
lib/msun/ld128/s_exp2l.c [new file with mode: 0644]
lib/msun/ld128/s_nanl.c [new file with mode: 0644]
lib/msun/ld80/invtrig.c [new file with mode: 0644]
lib/msun/ld80/invtrig.h [new file with mode: 0644]
lib/msun/ld80/k_cosl.c [new file with mode: 0644]
lib/msun/ld80/k_sinl.c [new file with mode: 0644]
lib/msun/ld80/k_tanl.c [new file with mode: 0644]
lib/msun/ld80/s_exp2l.c [new file with mode: 0644]
lib/msun/ld80/s_nanl.c [new file with mode: 0644]
lib/msun/mips/fenv.c [new file with mode: 0644]
lib/msun/powerpc/fenv.c [new file with mode: 0644]
lib/msun/sparc64/e_sqrt.S [new file with mode: 0644]
lib/msun/sparc64/e_sqrtf.S [new file with mode: 0644]
lib/msun/sparc64/fenv.c [new file with mode: 0644]
lib/msun/src/e_acos.c [new file with mode: 0644]
lib/msun/src/e_acosf.c [new file with mode: 0644]
lib/msun/src/e_acosh.c [new file with mode: 0644]
lib/msun/src/e_acoshf.c [new file with mode: 0644]
lib/msun/src/e_acosl.c [new file with mode: 0644]
lib/msun/src/e_asin.c [new file with mode: 0644]
lib/msun/src/e_asinf.c [new file with mode: 0644]
lib/msun/src/e_asinl.c [new file with mode: 0644]
lib/msun/src/e_atan2.c [new file with mode: 0644]
lib/msun/src/e_atan2f.c [new file with mode: 0644]
lib/msun/src/e_atan2l.c [new file with mode: 0644]
lib/msun/src/e_atanh.c [new file with mode: 0644]
lib/msun/src/e_atanhf.c [new file with mode: 0644]
lib/msun/src/e_cosh.c [new file with mode: 0644]
lib/msun/src/e_coshf.c [new file with mode: 0644]
lib/msun/src/e_exp.c [new file with mode: 0644]
lib/msun/src/e_expf.c [new file with mode: 0644]
lib/msun/src/e_fmod.c [new file with mode: 0644]
lib/msun/src/e_fmodf.c [new file with mode: 0644]
lib/msun/src/e_fmodl.c [new file with mode: 0644]
lib/msun/src/e_gamma.c [new file with mode: 0644]
lib/msun/src/e_gamma_r.c [new file with mode: 0644]
lib/msun/src/e_gammaf.c [new file with mode: 0644]
lib/msun/src/e_gammaf_r.c [new file with mode: 0644]
lib/msun/src/e_hypot.c [new file with mode: 0644]
lib/msun/src/e_hypotf.c [new file with mode: 0644]
lib/msun/src/e_hypotl.c [new file with mode: 0644]
lib/msun/src/e_j0.c [new file with mode: 0644]
lib/msun/src/e_j0f.c [new file with mode: 0644]
lib/msun/src/e_j1.c [new file with mode: 0644]
lib/msun/src/e_j1f.c [new file with mode: 0644]
lib/msun/src/e_jn.c [new file with mode: 0644]
lib/msun/src/e_jnf.c [new file with mode: 0644]
lib/msun/src/e_lgamma.c [new file with mode: 0644]
lib/msun/src/e_lgamma_r.c [new file with mode: 0644]
lib/msun/src/e_lgammaf.c [new file with mode: 0644]
lib/msun/src/e_lgammaf_r.c [new file with mode: 0644]
lib/msun/src/e_log.c [new file with mode: 0644]
lib/msun/src/e_log10.c [new file with mode: 0644]
lib/msun/src/e_log10f.c [new file with mode: 0644]
lib/msun/src/e_logf.c [new file with mode: 0644]
lib/msun/src/e_pow.c [new file with mode: 0644]
lib/msun/src/e_powf.c [new file with mode: 0644]
lib/msun/src/e_rem_pio2.c [new file with mode: 0644]
lib/msun/src/e_rem_pio2f.c [new file with mode: 0644]
lib/msun/src/e_remainder.c [new file with mode: 0644]
lib/msun/src/e_remainderf.c [new file with mode: 0644]
lib/msun/src/e_remainderl.c [new file with mode: 0644]
lib/msun/src/e_scalb.c [new file with mode: 0644]
lib/msun/src/e_scalbf.c [new file with mode: 0644]
lib/msun/src/e_sinh.c [new file with mode: 0644]
lib/msun/src/e_sinhf.c [new file with mode: 0644]
lib/msun/src/e_sqrt.c [new file with mode: 0644]
lib/msun/src/e_sqrtf.c [new file with mode: 0644]
lib/msun/src/e_sqrtl.c [new file with mode: 0644]
lib/msun/src/k_cos.c [new file with mode: 0644]
lib/msun/src/k_cosf.c [new file with mode: 0644]
lib/msun/src/k_rem_pio2.c [new file with mode: 0644]
lib/msun/src/k_sin.c [new file with mode: 0644]
lib/msun/src/k_sinf.c [new file with mode: 0644]
lib/msun/src/k_tan.c [new file with mode: 0644]
lib/msun/src/k_tanf.c [new file with mode: 0644]
lib/msun/src/math_private.h [new file with mode: 0644]
lib/msun/src/s_asinh.c [new file with mode: 0644]
lib/msun/src/s_asinhf.c [new file with mode: 0644]
lib/msun/src/s_atan.c [new file with mode: 0644]
lib/msun/src/s_atanf.c [new file with mode: 0644]
lib/msun/src/s_atanl.c [new file with mode: 0644]
lib/msun/src/s_carg.c [new file with mode: 0644]
lib/msun/src/s_cargf.c [new file with mode: 0644]
lib/msun/src/s_cargl.c [new file with mode: 0644]
lib/msun/src/s_cbrt.c [new file with mode: 0644]
lib/msun/src/s_cbrtf.c [new file with mode: 0644]
lib/msun/src/s_ceil.c [new file with mode: 0644]
lib/msun/src/s_ceilf.c [new file with mode: 0644]
lib/msun/src/s_ceill.c [new file with mode: 0644]
lib/msun/src/s_cimag.c [new file with mode: 0644]
lib/msun/src/s_cimagf.c [new file with mode: 0644]
lib/msun/src/s_cimagl.c [new file with mode: 0644]
lib/msun/src/s_conj.c [new file with mode: 0644]
lib/msun/src/s_conjf.c [new file with mode: 0644]
lib/msun/src/s_conjl.c [new file with mode: 0644]
lib/msun/src/s_copysign.c [new file with mode: 0644]
lib/msun/src/s_copysignf.c [new file with mode: 0644]
lib/msun/src/s_copysignl.c [new file with mode: 0644]
lib/msun/src/s_cos.c [new file with mode: 0644]
lib/msun/src/s_cosf.c [new file with mode: 0644]
lib/msun/src/s_cosl.c [new file with mode: 0644]
lib/msun/src/s_cproj.c [new file with mode: 0644]
lib/msun/src/s_cprojf.c [new file with mode: 0644]
lib/msun/src/s_cprojl.c [new file with mode: 0644]
lib/msun/src/s_creal.c [new file with mode: 0644]
lib/msun/src/s_crealf.c [new file with mode: 0644]
lib/msun/src/s_creall.c [new file with mode: 0644]
lib/msun/src/s_csqrt.c [new file with mode: 0644]
lib/msun/src/s_csqrtf.c [new file with mode: 0644]
lib/msun/src/s_csqrtl.c [new file with mode: 0644]
lib/msun/src/s_erf.c [new file with mode: 0644]
lib/msun/src/s_erff.c [new file with mode: 0644]
lib/msun/src/s_exp2.c [new file with mode: 0644]
lib/msun/src/s_exp2f.c [new file with mode: 0644]
lib/msun/src/s_expm1.c [new file with mode: 0644]
lib/msun/src/s_expm1f.c [new file with mode: 0644]
lib/msun/src/s_fabs.c [new file with mode: 0644]
lib/msun/src/s_fabsf.c [new file with mode: 0644]
lib/msun/src/s_fabsl.c [new file with mode: 0644]
lib/msun/src/s_fdim.c [new file with mode: 0644]
lib/msun/src/s_finite.c [new file with mode: 0644]
lib/msun/src/s_finitef.c [new file with mode: 0644]
lib/msun/src/s_floor.c [new file with mode: 0644]
lib/msun/src/s_floorf.c [new file with mode: 0644]
lib/msun/src/s_floorl.c [new file with mode: 0644]
lib/msun/src/s_fma.c [new file with mode: 0644]
lib/msun/src/s_fmaf.c [new file with mode: 0644]
lib/msun/src/s_fmal.c [new file with mode: 0644]
lib/msun/src/s_fmax.c [new file with mode: 0644]
lib/msun/src/s_fmaxf.c [new file with mode: 0644]
lib/msun/src/s_fmaxl.c [new file with mode: 0644]
lib/msun/src/s_fmin.c [new file with mode: 0644]
lib/msun/src/s_fminf.c [new file with mode: 0644]
lib/msun/src/s_fminl.c [new file with mode: 0644]
lib/msun/src/s_frexp.c [new file with mode: 0644]
lib/msun/src/s_frexpf.c [new file with mode: 0644]
lib/msun/src/s_frexpl.c [new file with mode: 0644]
lib/msun/src/s_ilogb.c [new file with mode: 0644]
lib/msun/src/s_ilogbf.c [new file with mode: 0644]
lib/msun/src/s_ilogbl.c [new file with mode: 0644]
lib/msun/src/s_isfinite.c [new file with mode: 0644]
lib/msun/src/s_isinf.c [new file with mode: 0644]
lib/msun/src/s_isnan.c [new file with mode: 0644]
lib/msun/src/s_isnormal.c [new file with mode: 0644]
lib/msun/src/s_ldexp.c [new file with mode: 0644]
lib/msun/src/s_llrint.c [new file with mode: 0644]
lib/msun/src/s_llrintf.c [new file with mode: 0644]
lib/msun/src/s_llrintl.c [new file with mode: 0644]
lib/msun/src/s_llround.c [new file with mode: 0644]
lib/msun/src/s_llroundf.c [new file with mode: 0644]
lib/msun/src/s_llroundl.c [new file with mode: 0644]
lib/msun/src/s_log1p.c [new file with mode: 0644]
lib/msun/src/s_log1pf.c [new file with mode: 0644]
lib/msun/src/s_logb.c [new file with mode: 0644]
lib/msun/src/s_logbf.c [new file with mode: 0644]
lib/msun/src/s_logbl.c [new file with mode: 0644]
lib/msun/src/s_lrint.c [new file with mode: 0644]
lib/msun/src/s_lrintf.c [new file with mode: 0644]
lib/msun/src/s_lrintl.c [new file with mode: 0644]
lib/msun/src/s_lround.c [new file with mode: 0644]
lib/msun/src/s_lroundf.c [new file with mode: 0644]
lib/msun/src/s_lroundl.c [new file with mode: 0644]
lib/msun/src/s_modf.c [new file with mode: 0644]
lib/msun/src/s_modff.c [new file with mode: 0644]
lib/msun/src/s_modfl.c [new file with mode: 0644]
lib/msun/src/s_nan.c [new file with mode: 0644]
lib/msun/src/s_nearbyint.c [new file with mode: 0644]
lib/msun/src/s_nextafter.c [new file with mode: 0644]
lib/msun/src/s_nextafterf.c [new file with mode: 0644]
lib/msun/src/s_nextafterl.c [new file with mode: 0644]
lib/msun/src/s_nexttoward.c [new file with mode: 0644]
lib/msun/src/s_nexttowardf.c [new file with mode: 0644]
lib/msun/src/s_remquo.c [new file with mode: 0644]
lib/msun/src/s_remquof.c [new file with mode: 0644]
lib/msun/src/s_remquol.c [new file with mode: 0644]
lib/msun/src/s_rint.c [new file with mode: 0644]
lib/msun/src/s_rintf.c [new file with mode: 0644]
lib/msun/src/s_rintl.c [new file with mode: 0644]
lib/msun/src/s_round.c [new file with mode: 0644]
lib/msun/src/s_roundf.c [new file with mode: 0644]
lib/msun/src/s_roundl.c [new file with mode: 0644]
lib/msun/src/s_scalbln.c [new file with mode: 0644]
lib/msun/src/s_scalbn.c [new file with mode: 0644]
lib/msun/src/s_scalbnf.c [new file with mode: 0644]
lib/msun/src/s_scalbnl.c [new file with mode: 0644]
lib/msun/src/s_signbit.c [new file with mode: 0644]
lib/msun/src/s_signgam.c [new file with mode: 0644]
lib/msun/src/s_significand.c [new file with mode: 0644]
lib/msun/src/s_significandf.c [new file with mode: 0644]
lib/msun/src/s_sin.c [new file with mode: 0644]
lib/msun/src/s_sinf.c [new file with mode: 0644]
lib/msun/src/s_sinl.c [new file with mode: 0644]
lib/msun/src/s_tan.c [new file with mode: 0644]
lib/msun/src/s_tanf.c [new file with mode: 0644]
lib/msun/src/s_tanh.c [new file with mode: 0644]
lib/msun/src/s_tanhf.c [new file with mode: 0644]
lib/msun/src/s_tanl.c [new file with mode: 0644]
lib/msun/src/s_tgammaf.c [new file with mode: 0644]
lib/msun/src/s_trunc.c [new file with mode: 0644]
lib/msun/src/s_truncf.c [new file with mode: 0644]
lib/msun/src/s_truncl.c [new file with mode: 0644]
lib/msun/src/w_cabs.c [new file with mode: 0644]
lib/msun/src/w_cabsf.c [new file with mode: 0644]
lib/msun/src/w_cabsl.c [new file with mode: 0644]
lib/msun/src/w_drem.c [new file with mode: 0644]
lib/msun/src/w_dremf.c [new file with mode: 0644]
lib/nfs/Hakefile [new file with mode: 0644]
lib/nfs/mount.x [new file with mode: 0644]
lib/nfs/mount_xdr.c [new file with mode: 0644]
lib/nfs/nfs.c [new file with mode: 0644]
lib/nfs/nfs.x [new file with mode: 0644]
lib/nfs/nfs_xdr.c [new file with mode: 0644]
lib/nfs/portmap.x [new file with mode: 0644]
lib/nfs/portmap_rpc.h [new file with mode: 0644]
lib/nfs/portmap_xdr.c [new file with mode: 0644]
lib/nfs/rpc.c [new file with mode: 0644]
lib/nfs/rpc.h [new file with mode: 0644]
lib/nfs/xdr.c [new file with mode: 0644]
lib/nfs/xdr_pbuf.c [new file with mode: 0644]
lib/nfs/xdr_pbuf.h [new file with mode: 0644]
lib/pci/Hakefile [new file with mode: 0644]
lib/pci/mem.c [new file with mode: 0644]
lib/pci/pci_client.c [new file with mode: 0644]
lib/phoenix/Hakefile [new file with mode: 0644]
lib/phoenix/atomic.h [new file with mode: 0644]
lib/phoenix/defines.h [new file with mode: 0644]
lib/phoenix/iterator.c [new file with mode: 0644]
lib/phoenix/iterator.h [new file with mode: 0644]
lib/phoenix/list.h [new file with mode: 0644]
lib/phoenix/locality.c [new file with mode: 0644]
lib/phoenix/locality.h [new file with mode: 0644]
lib/phoenix/map_reduce.c [new file with mode: 0644]
lib/phoenix/map_reduce.h [new file with mode: 0644]
lib/phoenix/mcs.c [new file with mode: 0644]
lib/phoenix/memory.c [new file with mode: 0644]
lib/phoenix/memory.h [new file with mode: 0644]
lib/phoenix/processor.c [new file with mode: 0644]
lib/phoenix/processor.h [new file with mode: 0644]
lib/phoenix/pt_mutex.c [new file with mode: 0644]
lib/phoenix/queue.h [new file with mode: 0644]
lib/phoenix/scheduler.c [new file with mode: 0644]
lib/phoenix/scheduler.h [new file with mode: 0644]
lib/phoenix/stddefines.h [new file with mode: 0644]
lib/phoenix/struct.h [new file with mode: 0644]
lib/phoenix/synch.c [new file with mode: 0644]
lib/phoenix/synch.h [new file with mode: 0644]
lib/phoenix/taskQ.c [new file with mode: 0644]
lib/phoenix/taskQ.h [new file with mode: 0644]
lib/phoenix/tpool.c [new file with mode: 0644]
lib/phoenix/tpool.h [new file with mode: 0644]
lib/posixcompat/Hakefile [new file with mode: 0644]
lib/posixcompat/_exit.c [new file with mode: 0644]
lib/posixcompat/access.c [new file with mode: 0644]
lib/posixcompat/chdir.c [new file with mode: 0644]
lib/posixcompat/chmod.c [new file with mode: 0644]
lib/posixcompat/close.c [new file with mode: 0644]
lib/posixcompat/creat.c [new file with mode: 0644]
lib/posixcompat/dirent.c [new file with mode: 0644]
lib/posixcompat/dlfcn.c [new file with mode: 0644]
lib/posixcompat/dup.c [new file with mode: 0644]
lib/posixcompat/dup2.c [new file with mode: 0644]
lib/posixcompat/fdtab.c [new file with mode: 0644]
lib/posixcompat/fdtab.h [new file with mode: 0644]
lib/posixcompat/fileno.c [new file with mode: 0644]
lib/posixcompat/fstat.c [new file with mode: 0644]
lib/posixcompat/ftruncate.c [new file with mode: 0644]
lib/posixcompat/getcwd.c [new file with mode: 0644]
lib/posixcompat/gethostid.c [new file with mode: 0644]
lib/posixcompat/isatty.c [new file with mode: 0644]
lib/posixcompat/lseek.c [new file with mode: 0644]
lib/posixcompat/mkdir.c [new file with mode: 0644]
lib/posixcompat/open.c [new file with mode: 0644]
lib/posixcompat/pipe.c [new file with mode: 0644]
lib/posixcompat/posixcompat.h [new file with mode: 0644]
lib/posixcompat/process.c [new file with mode: 0644]
lib/posixcompat/read.c [new file with mode: 0644]
lib/posixcompat/rmdir.c [new file with mode: 0644]
lib/posixcompat/sbrk.c [new file with mode: 0644]
lib/posixcompat/signal.c [new file with mode: 0644]
lib/posixcompat/stat.c [new file with mode: 0644]
lib/posixcompat/umask.c [new file with mode: 0644]
lib/posixcompat/unlink.c [new file with mode: 0644]
lib/posixcompat/utime.c [new file with mode: 0644]
lib/posixcompat/write.c [new file with mode: 0644]
lib/rcce/Hakefile [new file with mode: 0644]
lib/rcce/RCCE_comm.c [new file with mode: 0644]
lib/rcce/RCCE_debug.c [new file with mode: 0644]
lib/rcce/RCCE_reduce.c [new file with mode: 0644]
lib/rcce/bcast.c [new file with mode: 0644]
lib/rcce/internal.h [new file with mode: 0644]
lib/rcce/rcce.c [new file with mode: 0644]
lib/rcce/ring_barriers.c [new file with mode: 0644]
lib/routing/Hakefile [new file with mode: 0644]
lib/routing/ccast_record.c [new file with mode: 0644]
lib/routing/internal.c [new file with mode: 0644]
lib/routing/internal.h [new file with mode: 0644]
lib/routing/routing.c [new file with mode: 0644]
lib/routing/utils.h [new file with mode: 0644]
lib/skb/Hakefile [new file with mode: 0644]
lib/skb/helper.c [new file with mode: 0644]
lib/skb/skb.c [new file with mode: 0644]
lib/skb/skb_debug.h [new file with mode: 0644]
lib/skb/skb_functions.c [new file with mode: 0644]
lib/spawndomain/Hakefile [new file with mode: 0644]
lib/spawndomain/arch.h [new file with mode: 0644]
lib/spawndomain/arch/arm/spawn_arch.c [new file with mode: 0644]
lib/spawndomain/arch/beehive/spawn_arch.c [new file with mode: 0644]
lib/spawndomain/arch/x86/spawn_arch.c [new file with mode: 0644]
lib/spawndomain/getopt.c [new file with mode: 0644]
lib/spawndomain/multiboot.c [new file with mode: 0644]
lib/spawndomain/spawn.c [new file with mode: 0644]
lib/spawndomain/spawn.h [new file with mode: 0644]
lib/spawndomain/spawn_vspace.c [new file with mode: 0644]
lib/thc/Hakefile [new file with mode: 0644]
lib/thc/thc.c [new file with mode: 0644]
lib/thc/thcstubs.c [new file with mode: 0644]
lib/thc/thcsync.c [new file with mode: 0644]
lib/timer/Hakefile [new file with mode: 0644]
lib/timer/timer.c [new file with mode: 0644]
lib/trace/Hakefile [new file with mode: 0644]
lib/trace/control.c [new file with mode: 0644]
lib/trace/trace.c [new file with mode: 0644]
lib/tweed/Hakefile [new file with mode: 0644]
lib/tweed/tweed.c [new file with mode: 0644]
lib/vfs/Hakefile [new file with mode: 0644]
lib/vfs/fopen.c [new file with mode: 0644]
lib/vfs/mmap.c [new file with mode: 0644]
lib/vfs/vfs.c [new file with mode: 0644]
lib/vfs/vfs_backends.h [new file with mode: 0644]
lib/vfs/vfs_nfs.c [new file with mode: 0644]
lib/vfs/vfs_ops.h [new file with mode: 0644]
lib/vfs/vfs_path.c [new file with mode: 0644]
lib/vfs/vfs_ramfs.c [new file with mode: 0644]
lib/x86emu/Hakefile [new file with mode: 0644]
lib/x86emu/debug.c [new file with mode: 0644]
lib/x86emu/decode.c [new file with mode: 0644]
lib/x86emu/fpu.c [new file with mode: 0644]
lib/x86emu/ops.c [new file with mode: 0644]
lib/x86emu/ops2.c [new file with mode: 0644]
lib/x86emu/prim_ops.c [new file with mode: 0644]
lib/x86emu/sys.c [new file with mode: 0644]
lib/x86emu/validate.c [new file with mode: 0644]
lib/zlib/Hakefile [new file with mode: 0644]
lib/zlib/adler32.c [new file with mode: 0644]
lib/zlib/compress.c [new file with mode: 0644]
lib/zlib/crc32.c [new file with mode: 0644]
lib/zlib/crc32.h [new file with mode: 0644]
lib/zlib/deflate.c [new file with mode: 0644]
lib/zlib/deflate.h [new file with mode: 0644]
lib/zlib/gzio.c [new file with mode: 0644]
lib/zlib/infback.c [new file with mode: 0644]
lib/zlib/inffast.c [new file with mode: 0644]
lib/zlib/inffast.h [new file with mode: 0644]
lib/zlib/inffixed.h [new file with mode: 0644]
lib/zlib/inflate.c [new file with mode: 0644]
lib/zlib/inflate.h [new file with mode: 0644]
lib/zlib/inftrees.c [new file with mode: 0644]
lib/zlib/inftrees.h [new file with mode: 0644]
lib/zlib/trees.c [new file with mode: 0644]
lib/zlib/trees.h [new file with mode: 0644]
lib/zlib/uncompr.c [new file with mode: 0644]
lib/zlib/zutil.c [new file with mode: 0644]
lib/zlib/zutil.h [new file with mode: 0644]
tools/arm-mkbootcpio.sh [new file with mode: 0755]
tools/arm-mkbootelf.sh [new file with mode: 0755]
tools/asmoffsets/Hakefile [new file with mode: 0644]
tools/asmoffsets/asmoffsets.c [new file with mode: 0644]
tools/debug.arm.gdb [new file with mode: 0644]
tools/debug.gdb.in [new file with mode: 0644]
tools/debug.sh [new file with mode: 0755]
tools/demo/Aquarium/App.xaml [new file with mode: 0644]
tools/demo/Aquarium/App.xaml.cs [new file with mode: 0644]
tools/demo/Aquarium/Aquarium.csproj [new file with mode: 0644]
tools/demo/Aquarium/Dialogs.cs [new file with mode: 0644]
tools/demo/Aquarium/Events.cs [new file with mode: 0644]
tools/demo/Aquarium/Key.xaml [new file with mode: 0644]
tools/demo/Aquarium/Key.xaml.cs [new file with mode: 0644]
tools/demo/Aquarium/Properties/AssemblyInfo.cs [new file with mode: 0644]
tools/demo/Aquarium/Properties/Resources.Designer.cs [new file with mode: 0644]
tools/demo/Aquarium/Properties/Resources.resx [new file with mode: 0644]
tools/demo/Aquarium/Properties/Settings.Designer.cs [new file with mode: 0644]
tools/demo/Aquarium/Properties/Settings.settings [new file with mode: 0644]
tools/demo/Aquarium/Resources/barrelfish.ico [new file with mode: 0644]
tools/demo/Aquarium/Window1.xaml [new file with mode: 0644]
tools/demo/Aquarium/Window1.xaml.cs [new file with mode: 0644]
tools/demo/Aquarium/barrelfish.png [new file with mode: 0644]
tools/demo/TestAquarium/Program.cs [new file with mode: 0644]
tools/demo/TestAquarium/Properties/AssemblyInfo.cs [new file with mode: 0644]
tools/demo/TestAquarium/TestAquarium.csproj [new file with mode: 0644]
tools/demo/bin/Aquarium.exe [new file with mode: 0644]
tools/demo/bin/Aquarium.pdb [new file with mode: 0644]
tools/demo/bin/TestAquarium.exe [new file with mode: 0644]
tools/demo/guide.pdf [new file with mode: 0644]
tools/demo/guide.pptx [new file with mode: 0644]
tools/demo/logs/bmp_bench.log [new file with mode: 0644]
tools/demo/logs/demo.1.log [new file with mode: 0644]
tools/demo/logs/demo.10.log [new file with mode: 0644]
tools/demo/logs/demo.11.log [new file with mode: 0644]
tools/demo/logs/demo.12.log [new file with mode: 0644]
tools/demo/logs/demo.13.log [new file with mode: 0644]
tools/demo/logs/demo.14.log [new file with mode: 0644]
tools/demo/logs/demo.15.log [new file with mode: 0644]
tools/demo/logs/demo.16.log [new file with mode: 0644]
tools/demo/logs/demo.17.log [new file with mode: 0644]
tools/demo/logs/demo.18.log [new file with mode: 0644]
tools/demo/logs/demo.19.log [new file with mode: 0644]
tools/demo/logs/demo.2.log [new file with mode: 0644]
tools/demo/logs/demo.20.log [new file with mode: 0644]
tools/demo/logs/demo.3.log [new file with mode: 0644]
tools/demo/logs/demo.4.log [new file with mode: 0644]
tools/demo/logs/demo.5.log [new file with mode: 0644]
tools/demo/logs/demo.6.log [new file with mode: 0644]
tools/demo/logs/demo.7.log [new file with mode: 0644]
tools/demo/logs/demo.8.log [new file with mode: 0644]
tools/demo/logs/demo.9.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_0_8.0.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_0_8.1.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_0_8.2.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_0_8.3.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_0_8.4.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_0_8.5.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_0_8.6.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_0_8.7.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_0_8.8.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_0_8.9.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_0_8_1.0.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_0_8_1.1.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_0_8_1.2.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_0_8_1.3.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_0_8_1.4.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_1_8 [new file with mode: 0644]
tools/demo/logs/npc_1_1_1_8.1.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_1_8.2.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_1_8.3.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_1_8.4.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_1_8.5.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_1_8.6.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_1_8.7.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_1_8.8.log [new file with mode: 0644]
tools/demo/logs/npc_1_1_1_8.9.log [new file with mode: 0644]
tools/demo/logs/npc_tput.1.log [new file with mode: 0644]
tools/demo/logs/npc_tput.10.log [new file with mode: 0644]
tools/demo/logs/npc_tput.2.log [new file with mode: 0644]
tools/demo/logs/npc_tput.3.log [new file with mode: 0644]
tools/demo/logs/npc_tput.4.log [new file with mode: 0644]
tools/demo/logs/npc_tput.5.log [new file with mode: 0644]
tools/demo/logs/npc_tput.6.log [new file with mode: 0644]
tools/demo/logs/npc_tput.7.log [new file with mode: 0644]
tools/demo/logs/npc_tput.8.log [new file with mode: 0644]
tools/demo/logs/npc_tput.9.log [new file with mode: 0644]
tools/demo/logs/span15.0.log [new file with mode: 0644]
tools/demo/logs/span15.1.log [new file with mode: 0644]
tools/demo/logs/span15.2.log [new file with mode: 0644]
tools/demo/logs/span15.3.log [new file with mode: 0644]
tools/demo/logs/span15.4.log [new file with mode: 0644]
tools/demo/logs/span15.5.log [new file with mode: 0644]
tools/demo/logs/span15.6.log [new file with mode: 0644]
tools/demo/logs/span15.7.log [new file with mode: 0644]
tools/demo/logs/span15.8.log [new file with mode: 0644]
tools/demo/logs/span15.9.log [new file with mode: 0644]
tools/demo/menu.demo.lst [new file with mode: 0644]
tools/dite/Hakefile [new file with mode: 0644]
tools/dite/dite.c [new file with mode: 0644]
tools/dite/elf.h [new file with mode: 0644]
tools/dite/elf32.c [new file with mode: 0644]
tools/elver/Hakefile [new file with mode: 0644]
tools/elver/boot.S [new file with mode: 0644]
tools/elver/elver.c [new file with mode: 0644]
tools/elver/lib.c [new file with mode: 0644]
tools/flounder/Arch.hs [new file with mode: 0644]
tools/flounder/BMP.hs [new file with mode: 0644]
tools/flounder/Backend.lhs [new file with mode: 0644]
tools/flounder/BackendCommon.hs [new file with mode: 0644]
tools/flounder/CAbsSyntax.hs [new file with mode: 0644]
tools/flounder/CSyntax.hs [new file with mode: 0644]
tools/flounder/CodeBackend.lhs [new file with mode: 0644]
tools/flounder/Compiler.lhs [new file with mode: 0644]
tools/flounder/GCBackend.hs [new file with mode: 0644]
tools/flounder/GHBackend.hs [new file with mode: 0644]
tools/flounder/Hakefile [new file with mode: 0644]
tools/flounder/HeaderBackend.lhs [new file with mode: 0644]
tools/flounder/LMP.hs [new file with mode: 0644]
tools/flounder/Loopback.hs [new file with mode: 0644]
tools/flounder/Main.lhs [new file with mode: 0644]
tools/flounder/MsgBuf.hs [new file with mode: 0644]
tools/flounder/MsgFragments.hs [new file with mode: 0644]
tools/flounder/Parser.hs [new file with mode: 0644]
tools/flounder/RPCClient.hs [new file with mode: 0644]
tools/flounder/Syntax.lhs [new file with mode: 0644]
tools/flounder/THCBackend.hs [new file with mode: 0644]
tools/flounder/THCStubsBackend.hs [new file with mode: 0644]
tools/flounder/UMP.hs [new file with mode: 0644]
tools/flounder/UMPCommon.hs [new file with mode: 0644]
tools/flounder/UMP_IPI.hs [new file with mode: 0644]
tools/flounder/intro.tex [new file with mode: 0644]
tools/flounder/notes.txt [new file with mode: 0644]
tools/flounder/tutorial.lhs [new file with mode: 0644]
tools/fof/Compile.lhs [new file with mode: 0644]
tools/fof/Constructs.lhs [new file with mode: 0644]
tools/fof/Constructs.lhs-boot [new file with mode: 0644]
tools/fof/Constructs/Arrays.lhs [new file with mode: 0644]
tools/fof/Constructs/Conditionals.lhs [new file with mode: 0644]
tools/fof/Constructs/Enumerations.lhs [new file with mode: 0644]
tools/fof/Constructs/Functions.lhs [new file with mode: 0644]
tools/fof/Constructs/References.lhs [new file with mode: 0644]
tools/fof/Constructs/Strings.lhs [new file with mode: 0644]
tools/fof/Constructs/Structures.lhs [new file with mode: 0644]
tools/fof/Constructs/Typedef.lhs [new file with mode: 0644]
tools/fof/Constructs/Unions.lhs [new file with mode: 0644]
tools/fof/Eval.lhs [new file with mode: 0644]
tools/fof/Expressions.lhs [new file with mode: 0644]
tools/fof/Expressions.lhs-boot [new file with mode: 0644]
tools/fof/FiletOFish.bib [new file with mode: 0644]
tools/fof/FiletOFish.lhs [new file with mode: 0644]
tools/fof/FutureWork.tex [new file with mode: 0644]
tools/fof/IL/FoF/Compile.lhs [new file with mode: 0644]
tools/fof/IL/FoF/FoF.lhs [new file with mode: 0644]
tools/fof/IL/FoF/Run.lhs [new file with mode: 0644]
tools/fof/IL/Paka/Builders.lhs [new file with mode: 0644]
tools/fof/IL/Paka/Compile.lhs [new file with mode: 0644]
tools/fof/IL/Paka/Optimizer.lhs [new file with mode: 0644]
tools/fof/IL/Paka/Paka.lhs [new file with mode: 0644]
tools/fof/IL/Paka/Syntax.lhs [new file with mode: 0644]
tools/fof/IntroLanguage.tex [new file with mode: 0644]
tools/fof/Introduction.tex [new file with mode: 0644]
tools/fof/Libbarrelfish/HasDescendants.lhs [new file with mode: 0644]
tools/fof/Libbarrelfish/MemToPhys.lhs [new file with mode: 0644]
tools/fof/Libc/Assert.lhs [new file with mode: 0644]
tools/fof/Libc/Printf.lhs [new file with mode: 0644]
tools/fof/Main.lhs [new file with mode: 0644]
tools/fof/Makefile [new file with mode: 0644]
tools/fof/PureExpressions.lhs [new file with mode: 0644]
tools/fof/Semantics.lhs [new file with mode: 0644]
tools/fugu/FuguBackend.lhs [new file with mode: 0644]
tools/fugu/Hakefile [new file with mode: 0644]
tools/fugu/Main.lhs [new file with mode: 0644]
tools/fugu/Makefile [new file with mode: 0644]
tools/fugu/Parser.hs [new file with mode: 0644]
tools/gen-gdbscript.sh [new file with mode: 0755]
tools/grub-qemu.img [new file with mode: 0644]
tools/hamlet/Hakefile [new file with mode: 0644]
tools/hamlet/Hamlet.lhs [new file with mode: 0644]
tools/hamlet/HamletAst.lhs [new file with mode: 0644]
tools/hamlet/HamletBackend.lhs [new file with mode: 0644]
tools/hamlet/Main.lhs [new file with mode: 0644]
tools/hamlet/Parser.hs [new file with mode: 0644]
tools/harness/README [new file with mode: 0644]
tools/harness/barrelfish.py [new file with mode: 0644]
tools/harness/builds.py [new file with mode: 0644]
tools/harness/checkout.py [new file with mode: 0644]
tools/harness/debug.py [new file with mode: 0644]
tools/harness/harness.py [new file with mode: 0644]
tools/harness/machines/__init__.py [new file with mode: 0644]
tools/harness/machines/bsim.py [new file with mode: 0644]
tools/harness/machines/eth.py [new file with mode: 0644]
tools/harness/machines/eth_machinedata.py [new file with mode: 0644]
tools/harness/machines/msrc.py [new file with mode: 0644]
tools/harness/machines/msrc_machinedata.py [new fi