git.barrelfish.org Git - barrelfish/commitdiff

3304 files changed:

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

author	Stefan Kästle <stefan.kaestle@inf.ethz.ch>
	Fri, 8 Jul 2011 15:14:56 +0000 (17:14 +0200)
committer	Stefan Kästle <stefan.kaestle@inf.ethz.ch>
	Fri, 8 Jul 2011 15:14:56 +0000 (17:14 +0200)