projects
/
barrelfish
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
(initial)
Initial version of public stable barrelfish repository.
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)
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