Merge large page support code.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 May 2015 09:31:03 +0000 (11:31 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 May 2015 09:31:03 +0000 (11:31 +0200)
This code was originally written by Andreas Dillier as a deliverable for his
Bachelor thesis at ETH Zurich in 2013. Simon Gerber then fixed and extended
the implementation of large page support while employed by HP Labs in summer
2014.
The files that contain code written while Simon was employed by HP Labs have
updated copyright notices and the relevant commits are marked with
"Signed-off-by: Simon Gerber <simon.gerber@hp.com>" (as is this merge).

Signed-off-by: Simon Gerber <simon.gerber@hp.com>
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

1779 files changed:
.gitignore [new file with mode: 0644]
.hgignore [deleted file]
.hgtags [deleted file]
README
capabilities/caps.hl
devices/Hakefile
devices/e1000.dev
devices/e10k.dev
devices/e10k_vf.dev [new file with mode: 0644]
devices/ioat_dma.dev [new file with mode: 0644]
devices/ioat_dma_chan.dev [new file with mode: 0644]
devices/pci_hdr0.dev
devices/pci_hdr1.dev
devices/pci_sr_iov_cap.dev [new file with mode: 0644]
devices/virtio/virtio_blk.dev [new file with mode: 0644]
devices/virtio/virtio_io.dev [new file with mode: 0644]
devices/virtio/virtio_mmio.dev [new file with mode: 0644]
devices/virtio/virtio_net.dev [new file with mode: 0644]
devices/virtio/virtio_pci.dev [new file with mode: 0644]
devices/xapic.dev
devices/xeon_phi/xeon_phi_apic.dev [new file with mode: 0644]
devices/xeon_phi/xeon_phi_boot.dev [new file with mode: 0644]
devices/xeon_phi/xeon_phi_c6_scratch.dev [new file with mode: 0644]
devices/xeon_phi/xeon_phi_dbox.dev [new file with mode: 0644]
devices/xeon_phi/xeon_phi_debug.dev [new file with mode: 0644]
devices/xeon_phi/xeon_phi_dma.dev [new file with mode: 0644]
devices/xeon_phi/xeon_phi_dma_chan.dev [new file with mode: 0644]
devices/xeon_phi/xeon_phi_gbox.dev [new file with mode: 0644]
devices/xeon_phi/xeon_phi_i2c_oc.dev [new file with mode: 0644]
devices/xeon_phi/xeon_phi_irq.dev [new file with mode: 0644]
devices/xeon_phi/xeon_phi_mcx.dev [new file with mode: 0644]
devices/xeon_phi/xeon_phi_rdma.dev [new file with mode: 0644]
devices/xeon_phi/xeon_phi_sbox.dev [new file with mode: 0644]
devices/xeon_phi/xeon_phi_scratch.dev [new file with mode: 0644]
devices/xeon_phi/xeon_phi_sensors.dev [new file with mode: 0644]
devices/xeon_phi/xeon_phi_serial.dev [new file with mode: 0644]
devices/xeon_phi/xeon_phi_smpt.dev [new file with mode: 0644]
doc/010-spec/Hakefile
doc/010-spec/Spec.tex
doc/010-spec/disp_states_simple.circo
doc/010-spec/disp_states_simple_save_area_analysis.dot
doc/013-capability-mgmt/cap_types.dot
doc/015-disk-driver-arch/Hakefile
doc/015-disk-driver-arch/disk-driver-report.tex
doc/015-disk-driver-arch/figures/architecture.pdf [new file with mode: 0644]
doc/015-disk-driver-arch/figures/blockdevfs_list.pdf [new file with mode: 0644]
doc/015-disk-driver-arch/figures/cache_design.pdf [new file with mode: 0644]
doc/015-disk-driver-arch/figures/dma_pool_design.pdf [new file with mode: 0644]
doc/015-disk-driver-arch/figures/fat16_layout.pdf [new file with mode: 0644]
doc/015-disk-driver-arch/figures/fat32_layout.pdf [new file with mode: 0644]
doc/015-disk-driver-arch/figures/fillbench.pdf [new file with mode: 0644]
doc/015-disk-driver-arch/figures/h2d_fis.pdf [new file with mode: 0644]
doc/015-disk-driver-arch/figures/mmap.pdf [new file with mode: 0644]
doc/015-disk-driver-arch/figures/pmem_overview.pdf [new file with mode: 0644]
doc/015-disk-driver-arch/figures/rfis_area.pdf [new file with mode: 0644]
errors/errno.fugu
hake/ARMv5.hs
hake/ArchDefaults.hs
hake/Args.hs
hake/Config.hs.template
hake/HakeTypes.hs
hake/K1om.hs [new file with mode: 0644]
hake/Main.hs [changed mode: 0755->0644]
hake/RuleDefs.hs
hake/X86_32.hs
hake/X86_64.hs
hake/hake.sh
hake/k1om-dM.txt [new file with mode: 0644]
hake/menu.lst.arm_gem5
hake/menu.lst.arm_gem5_mc
hake/menu.lst.arm_gem5_panda
hake/menu.lst.armv5
hake/menu.lst.k1om [new file with mode: 0644]
hake/menu.lst.pandaboard
hake/menu.lst.x86_32
hake/menu.lst.x86_64
hake/symbolic_targets.mk
if/Hakefile
if/acpi.if
if/arch/k1om.if [new file with mode: 0644]
if/arrakis.if [new file with mode: 0644]
if/block_service.if [new file with mode: 0644]
if/bomp.if [new file with mode: 0644]
if/bulk_ctrl.if [new file with mode: 0644]
if/dma.if [new file with mode: 0644]
if/dma_mgr.if [new file with mode: 0644]
if/e10k.if
if/e10k_vf.if [new file with mode: 0644]
if/flounderbootstrap.if [new file with mode: 0644]
if/interdisp.if
if/intermon.if
if/interphi.if [new file with mode: 0644]
if/ioat_dma_mgr.if [new file with mode: 0644]
if/monitor.if
if/monitor_blocking.if
if/monitor_mem.if
if/pci.if
if/platform/k1om.if [new file with mode: 0644]
if/spawn.if
if/virtio.if [new file with mode: 0644]
if/xeon_phi.if [new file with mode: 0644]
if/xeon_phi_driver.if [new file with mode: 0644]
if/xeon_phi_manager.if [new file with mode: 0644]
if/xomp.if [new file with mode: 0644]
if/xomp_gateway.if [new file with mode: 0644]
include/Hakefile
include/arch/arm/barrelfish/core_state_arch.h
include/arch/arm/barrelfish/invocations_arch.h
include/arch/arm/barrelfish/lmp_chan_arch.h
include/arch/arm/bench/bench_arch.h
include/arch/k1om/_fpmath.h [new file with mode: 0644]
include/arch/k1om/arch/inttypes.h [new file with mode: 0644]
include/arch/k1om/arch/setjmp.h [new file with mode: 0644]
include/arch/k1om/arch/stdint.h [new file with mode: 0644]
include/arch/k1om/barrelfish/bulk_transfer_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish/core_state_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish/cpu_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish/curdispatcher_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish/dispatcher_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish/invocations_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish/ldt.h [new file with mode: 0644]
include/arch/k1om/barrelfish/lmp_chan_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish/pmap_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish/syscall_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish_kpi/asm_inlines_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish_kpi/cpu_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish_kpi/dispatcher_shared_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish_kpi/eflags_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish_kpi/generic_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish_kpi/lmp_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish_kpi/paging_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish_kpi/registers_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish_kpi/spinlocks_arch.h [new file with mode: 0644]
include/arch/k1om/bench/bench_arch.h [new file with mode: 0644]
include/arch/k1om/concurrent/arch/cas.h [new file with mode: 0644]
include/arch/k1om/fenv.h [new file with mode: 0644]
include/arch/k1om/float.h [new file with mode: 0644]
include/arch/k1om/machine/_limits.h [new file with mode: 0644]
include/arch/k1om/machine/asm.h [new file with mode: 0644]
include/arch/k1om/machine/endian.h [new file with mode: 0644]
include/arch/k1om/machine/fpu.h [new file with mode: 0644]
include/arch/k1om/machine/types.h [new file with mode: 0644]
include/arch/x86/barrelfish/core_state_arch.h
include/arch/x86/barrelfish_kpi/perfmon.h
include/arch/x86/barrelfish_kpi/spinlocks_arch.h
include/arch/x86/bench/bench_arch.h
include/arch/x86_32/barrelfish/invocations_arch.h
include/arch/x86_32/barrelfish/syscall_arch.h
include/arch/x86_32/barrelfish_kpi/syscall_overflows_arch.h
include/arch/x86_64/barrelfish/invocations_arch.h
include/arch/x86_64/barrelfish/lmp_chan_arch.h
include/arch/x86_64/barrelfish/syscall_arch.h
include/arch/x86_64/barrelfish_kpi/eflags_arch.h
include/arpa/inet.h
include/arranet.h [new file with mode: 0644]
include/arranet_debug.h [new file with mode: 0644]
include/arranet_impl.h [new file with mode: 0644]
include/barrelfish/caddr.h
include/barrelfish/capabilities.h
include/barrelfish/core_state.h
include/barrelfish/cspace.h
include/barrelfish/debug.h
include/barrelfish/deferred.h
include/barrelfish/dispatch.h
include/barrelfish/dispatcher.h
include/barrelfish/domain.h
include/barrelfish/event_queue.h
include/barrelfish/inthandler.h
include/barrelfish/lmp_chan.h
include/barrelfish/lmp_endpoints.h
include/barrelfish/memobj.h
include/barrelfish/ram_alloc.h
include/barrelfish/slab.h
include/barrelfish/slot_alloc.h
include/barrelfish/spawn_client.h
include/barrelfish/sys_debug.h
include/barrelfish/syscalls.h
include/barrelfish/thread_sync.h
include/barrelfish/threads.h
include/barrelfish/ump_impl.h
include/barrelfish/vregion.h
include/barrelfish/vspace_layout.h
include/barrelfish/vspace_mmu_aware.h
include/barrelfish/waitset.h
include/barrelfish/waitset_chan.h
include/barrelfish_kpi/capabilities.h
include/barrelfish_kpi/cpu.h
include/barrelfish_kpi/dispatcher_shared.h
include/barrelfish_kpi/distcaps.h [new file with mode: 0644]
include/barrelfish_kpi/init.h
include/barrelfish_kpi/lmp.h
include/barrelfish_kpi/sys_debug.h
include/barrelfish_kpi/syscalls.h
include/barrelfish_kpi/types.h
include/bench/bench.h
include/bitmap.h [new file with mode: 0644]
include/bulk_transfer/bulk_allocator.h [new file with mode: 0644]
include/bulk_transfer/bulk_local.h [new file with mode: 0644]
include/bulk_transfer/bulk_net.h [new file with mode: 0644]
include/bulk_transfer/bulk_net_proxy.h [new file with mode: 0644]
include/bulk_transfer/bulk_sm.h [new file with mode: 0644]
include/bulk_transfer/bulk_transfer.h [new file with mode: 0644]
include/c/stddef.h
include/contmng/netbench.h
include/cxx/__bit_reference
include/cxx/__config
include/cxx/__debug [new file with mode: 0644]
include/cxx/__functional_03
include/cxx/__functional_base
include/cxx/__functional_base_03
include/cxx/__hash_table
include/cxx/__locale
include/cxx/__mutex_base
include/cxx/__refstring [new file with mode: 0644]
include/cxx/__split_buffer
include/cxx/__sso_allocator
include/cxx/__std_stream
include/cxx/__tree
include/cxx/__tuple
include/cxx/__tuple_03
include/cxx/__undef_min_max [new file with mode: 0644]
include/cxx/algorithm
include/cxx/array
include/cxx/atomic
include/cxx/bitset
include/cxx/cassert
include/cxx/ccomplex
include/cxx/cctype
include/cxx/cerrno
include/cxx/cfenv
include/cxx/cfloat
include/cxx/chrono
include/cxx/cinttypes
include/cxx/ciso646
include/cxx/climits
include/cxx/clocale
include/cxx/cmath
include/cxx/codecvt
include/cxx/complex
include/cxx/complex.h
include/cxx/condition_variable
include/cxx/csetjmp
include/cxx/csignal
include/cxx/cstdarg
include/cxx/cstdbool
include/cxx/cstddef
include/cxx/cstdint
include/cxx/cstdio
include/cxx/cstdlib
include/cxx/cstring
include/cxx/ctgmath
include/cxx/ctime
include/cxx/cwchar
include/cxx/cwctype
include/cxx/deque
include/cxx/exception
include/cxx/ext/__hash [new file with mode: 0644]
include/cxx/ext/hash_map
include/cxx/ext/hash_set
include/cxx/forward_list
include/cxx/fstream
include/cxx/functional
include/cxx/future
include/cxx/initializer_list
include/cxx/iomanip
include/cxx/ios
include/cxx/iosfwd
include/cxx/iostream
include/cxx/istream
include/cxx/iterator
include/cxx/limits
include/cxx/list
include/cxx/locale
include/cxx/map
include/cxx/memory
include/cxx/module.modulemap [new file with mode: 0644]
include/cxx/mutex
include/cxx/new
include/cxx/numeric
include/cxx/ostream
include/cxx/queue
include/cxx/random
include/cxx/ratio
include/cxx/regex
include/cxx/scoped_allocator
include/cxx/set
include/cxx/shared_mutex [new file with mode: 0644]
include/cxx/sstream
include/cxx/stack
include/cxx/stdexcept
include/cxx/streambuf
include/cxx/string
include/cxx/strstream
include/cxx/system_error
include/cxx/tgmath.h
include/cxx/thread
include/cxx/tuple
include/cxx/type_traits
include/cxx/typeindex
include/cxx/typeinfo
include/cxx/unordered_map
include/cxx/unordered_set
include/cxx/utility
include/cxx/valarray
include/cxx/vector
include/dlfcn.h
include/dma/client/dma_client.h [new file with mode: 0644]
include/dma/client/dma_client_channel.h [new file with mode: 0644]
include/dma/client/dma_client_device.h [new file with mode: 0644]
include/dma/client/dma_client_request.h [new file with mode: 0644]
include/dma/dma.h [new file with mode: 0644]
include/dma/dma_bench.h [new file with mode: 0644]
include/dma/dma_channel.h [new file with mode: 0644]
include/dma/dma_descriptor.h [new file with mode: 0644]
include/dma/dma_device.h [new file with mode: 0644]
include/dma/dma_manager_client.h [new file with mode: 0644]
include/dma/dma_mem_mgr.h [new file with mode: 0644]
include/dma/dma_request.h [new file with mode: 0644]
include/dma/dma_ring.h [new file with mode: 0644]
include/dma/dma_service.h [new file with mode: 0644]
include/dma/ioat/ioat_dma.h [new file with mode: 0644]
include/dma/ioat/ioat_dma_channel.h [new file with mode: 0644]
include/dma/ioat/ioat_dma_dca.h [new file with mode: 0644]
include/dma/ioat/ioat_dma_descriptors.h [new file with mode: 0644]
include/dma/ioat/ioat_dma_device.h [new file with mode: 0644]
include/dma/ioat/ioat_dma_request.h [new file with mode: 0644]
include/dma/xeon_phi/xeon_phi_dma.h [new file with mode: 0644]
include/dma/xeon_phi/xeon_phi_dma_channel.h [new file with mode: 0644]
include/dma/xeon_phi/xeon_phi_dma_descriptors.h [new file with mode: 0644]
include/dma/xeon_phi/xeon_phi_dma_device.h [new file with mode: 0644]
include/dma/xeon_phi/xeon_phi_dma_request.h [new file with mode: 0644]
include/elf/elf.h
include/fcntl.h
include/flounder/flounder_support_ump.h
include/flounder/flounder_txqueue.h [new file with mode: 0644]
include/ipv4/lwip/ip_addr.h [deleted file]
include/limits.h
include/lua/lauxlib.h [new file with mode: 0644]
include/lua/lua.h [new file with mode: 0644]
include/lua/lua.hpp [new file with mode: 0644]
include/lua/luaconf.h [new file with mode: 0644]
include/lua/lualib.h [new file with mode: 0644]
include/lwip/sock_chan_support.h [deleted file]
include/lwip/sockets.h [deleted file]
include/mdb/mdb.h
include/mdb/mdb_tree.h
include/mdb/types.h
include/mm/mm.h
include/netdb.h
include/netinet/in.h
include/netinet6/in6.h [new file with mode: 0644]
include/numa.h [new file with mode: 0644]
include/octopus/getset.h
include/octopus/init.h
include/octopus/pubsub.h
include/octopus/trigger.h
include/omp.h [new file with mode: 0644]
include/pci/confspace/pci_confspace.h
include/pci/pci.h
include/pcre.h [moved from lib/pcre/pcre.h with 100% similarity]
include/pcreposix.h [moved from include/pcre/pcreposix.h with 100% similarity]
include/posixcompat.h
include/pthread.h [new file with mode: 0644]
include/runetype.h [new file with mode: 0644]
include/signal.h
include/skb/skb.h
include/spawndomain/spawndomain.h
include/sys/_iovec.h
include/sys/_pthreadtypes.h [new file with mode: 0644]
include/sys/_sockaddr_storage.h [new file with mode: 0644]
include/sys/_types.h
include/sys/dirent.h
include/sys/epoll.h [new file with mode: 0644]
include/sys/mman.h [new file with mode: 0644]
include/sys/resource.h [new file with mode: 0644]
include/sys/signal.h [new file with mode: 0644]
include/sys/socket.h
include/sys/stat.h
include/sys/syslog.h [new file with mode: 0644]
include/sys/types.h
include/sysexits.h [new file with mode: 0644]
include/syslog.h [new file with mode: 0644]
include/target/arm/barrelfish/pmap_target.h
include/target/arm/barrelfish_kpi/arm_core_data.h
include/target/k1om/barrelfish/dispatcher_target.h [new file with mode: 0644]
include/target/k1om/barrelfish/pmap_target.h [new file with mode: 0644]
include/target/k1om/barrelfish_kpi/cpu_target.h [new file with mode: 0644]
include/target/k1om/barrelfish_kpi/dispatcher_shared_target.h [new file with mode: 0644]
include/target/k1om/barrelfish_kpi/paging_target.h [new file with mode: 0644]
include/target/k1om/barrelfish_kpi/registers_target.h [new file with mode: 0644]
include/target/x86/barrelfish/pmap_target.h
include/target/x86/barrelfish_kpi/coredata_target.h
include/target/x86_32/barrelfish_kpi/registers_target.h
include/term/client/defs.h
include/trace/trace.h
include/unistd.h
include/usb/usb.h
include/vfs/fdtab.h
include/virtio/devices/virtio_block.h [new file with mode: 0644]
include/virtio/devices/virtio_net.h [new file with mode: 0644]
include/virtio/virtio.h [new file with mode: 0644]
include/virtio/virtio_device.h [new file with mode: 0644]
include/virtio/virtio_guest.h [new file with mode: 0644]
include/virtio/virtio_host.h [new file with mode: 0644]
include/virtio/virtio_ring.h [new file with mode: 0644]
include/virtio/virtqueue.h [new file with mode: 0644]
include/virtio/virtqueue_host.h [new file with mode: 0644]
include/xeon_phi/xeon_phi.h [new file with mode: 0644]
include/xeon_phi/xeon_phi_client.h [new file with mode: 0644]
include/xeon_phi/xeon_phi_domain.h [new file with mode: 0644]
include/xeon_phi/xeon_phi_manager_client.h [new file with mode: 0644]
include/xomp/xomp.h [new file with mode: 0644]
include/xomp/xomp_master.h [new file with mode: 0644]
include/xomp/xomp_worker.h [new file with mode: 0644]
kernel/Hakefile
kernel/arch/arm/exec.c
kernel/arch/arm/exn.c
kernel/arch/arm/syscall.c [new file with mode: 0644]
kernel/arch/arm_gem5/gem5_serial.c
kernel/arch/arm_gem5/init.c
kernel/arch/arm_gem5/paging.c
kernel/arch/arm_gem5/pl011_uart.c
kernel/arch/arm_gem5/start_aps.c
kernel/arch/arm_gem5/startup_arch.c
kernel/arch/armv5/gdb_arch.c [deleted file]
kernel/arch/armv5/init.c
kernel/arch/armv5/integrator.c
kernel/arch/armv5/microbenchmarks.c [deleted file]
kernel/arch/armv5/paging.c
kernel/arch/armv5/pl011_uart.c
kernel/arch/armv5/startup_arch.c
kernel/arch/armv5/syscall.c [deleted file]
kernel/arch/armv7-m/init.c
kernel/arch/armv7-m/paging.c
kernel/arch/armv7/irq.c
kernel/arch/armv7/multiboot.c
kernel/arch/armv7/paging.c
kernel/arch/armv7/syscall.c [deleted file]
kernel/arch/k1om/init.c [new file with mode: 0644]
kernel/arch/k1om/linker.lds.in [new file with mode: 0644]
kernel/arch/k1om/mcheck.c [new file with mode: 0644]
kernel/arch/k1om/serial.c [new file with mode: 0644]
kernel/arch/k1om/startup_arch.c [new file with mode: 0644]
kernel/arch/k1om/xeon_phi.c [new file with mode: 0644]
kernel/arch/omap44xx/init.c
kernel/arch/omap44xx/omap_uart.c
kernel/arch/omap44xx/paging.c
kernel/arch/omap44xx/start_aps.c
kernel/arch/omap44xx/startup_arch.c
kernel/arch/scc/rck.c
kernel/arch/x86/apic.c
kernel/arch/x86/init_ap_x86_64.S [deleted file]
kernel/arch/x86/misc.c
kernel/arch/x86/perfmon.c
kernel/arch/x86/perfmon_amd.c
kernel/arch/x86/perfmon_intel.c
kernel/arch/x86/pit.c
kernel/arch/x86/serial.c
kernel/arch/x86/start_aps.c [deleted file]
kernel/arch/x86/startup_x86.c
kernel/arch/x86/syscall.c
kernel/arch/x86/timing.c
kernel/arch/x86_32/exec.c
kernel/arch/x86_32/init.c
kernel/arch/x86_32/irq.c
kernel/arch/x86_32/page_mappings_arch.c
kernel/arch/x86_32/startup_arch.c
kernel/arch/x86_32/syscall.c
kernel/arch/x86_64/boot.S
kernel/arch/x86_64/entry.S
kernel/arch/x86_64/exec.c
kernel/arch/x86_64/gdb_arch.c
kernel/arch/x86_64/init.c
kernel/arch/x86_64/irq.c
kernel/arch/x86_64/microbenchmarks.c
kernel/arch/x86_64/page_mappings_arch.c
kernel/arch/x86_64/paging.c
kernel/arch/x86_64/startup_arch.c
kernel/arch/x86_64/syscall.c
kernel/arch/x86_64/vmkit.c
kernel/arch/xscale/ixp2800_integrator.c
kernel/arch/xscale/ixp2800_paging.c
kernel/arch/xscale/ixp2800_uart.c
kernel/cap_delete.c [new file with mode: 0644]
kernel/capabilities.c
kernel/coreboot.c [new file with mode: 0644]
kernel/dispatch.c
kernel/include/arch/arm/syscall_arm.h [new file with mode: 0644]
kernel/include/arch/armv5/irq.h
kernel/include/arch/armv5/start_aps.h [new file with mode: 0644]
kernel/include/arch/armv7-m/arm_core_data.h [deleted file]
kernel/include/arch/armv7-m/armv7_syscall.h [deleted file]
kernel/include/arch/armv7/arm_core_data.h [deleted file]
kernel/include/arch/armv7/armv7_syscall.h [deleted file]
kernel/include/arch/armv7/irq.h
kernel/include/arch/armv7/start_aps.h
kernel/include/arch/k1om/arch_gdb_stub.h [new file with mode: 0644]
kernel/include/arch/k1om/cpuid_spaces.h [new file with mode: 0644]
kernel/include/arch/k1om/fpu.h [new file with mode: 0644]
kernel/include/arch/k1om/init.h [new file with mode: 0644]
kernel/include/arch/k1om/irq.h [new file with mode: 0644]
kernel/include/arch/k1om/kernel_boot_param.h [new file with mode: 0644]
kernel/include/arch/k1om/kernel_boot_param/apm_bios.h [new file with mode: 0644]
kernel/include/arch/k1om/kernel_boot_param/e820.h [new file with mode: 0644]
kernel/include/arch/k1om/kernel_boot_param/edd.h [new file with mode: 0644]
kernel/include/arch/k1om/kernel_boot_param/ist_bios.h [new file with mode: 0644]
kernel/include/arch/k1om/kernel_boot_param/screen_info.h [new file with mode: 0644]
kernel/include/arch/k1om/kernel_multiboot.h [new file with mode: 0644]
kernel/include/arch/k1om/kputchar.h [new file with mode: 0644]
kernel/include/arch/k1om/linux_host.h [new file with mode: 0644]
kernel/include/arch/k1om/misc.h [new file with mode: 0644]
kernel/include/arch/k1om/offsets.h [new file with mode: 0644]
kernel/include/arch/k1om/paging_kernel_arch.h [new file with mode: 0644]
kernel/include/arch/k1om/vmkit.h [new file with mode: 0644]
kernel/include/arch/k1om/x86.h [new file with mode: 0644]
kernel/include/arch/k1om/xeon_phi.h [new file with mode: 0644]
kernel/include/arch/x86/apic.h
kernel/include/arch/x86/cmos.h
kernel/include/arch/x86/global.h
kernel/include/arch/x86/perfmon_intel.h
kernel/include/arch/x86/start_aps.h
kernel/include/arch/x86/startup_x86.h
kernel/include/arch/x86/syscall.h
kernel/include/arch/x86/x86.h
kernel/include/arch/x86_32/irq.h
kernel/include/arch/x86_32/x86.h
kernel/include/arch/x86_64/irq.h
kernel/include/arch/x86_64/vmkit.h
kernel/include/arch/x86_64/x86.h
kernel/include/arch/xscale/irq.h
kernel/include/arch/xscale/start_aps.h [new file with mode: 0644]
kernel/include/capabilities.h
kernel/include/coreboot.h [new file with mode: 0644]
kernel/include/dispatch.h
kernel/include/distcaps.h [new file with mode: 0644]
kernel/include/kcb.h [new file with mode: 0644]
kernel/include/kernel.h
kernel/include/multiboot.h
kernel/include/paging_kernel_helper.h
kernel/include/schedule.h
kernel/include/serial.h
kernel/include/syscall.h
kernel/include/target/k1om/offsets_target.h [new file with mode: 0644]
kernel/include/target/x86_64/offsets_target.h
kernel/include/target/x86_64/paging_kernel_target.h
kernel/include/wakeup.h
kernel/kcb.c [new file with mode: 0644]
kernel/monitor.c [new file with mode: 0644]
kernel/paging_generic.c
kernel/printf.c
kernel/schedule_rbed.c
kernel/schedule_rr.c
kernel/startup.c
kernel/string.c
kernel/syscall.c
kernel/wakeup.c
lib/arranet/Hakefile [new file with mode: 0644]
lib/arranet/arranet.c [new file with mode: 0644]
lib/arranet/inet_chksum.c [new file with mode: 0644]
lib/arranet/inet_chksum.h [new file with mode: 0644]
lib/arranet/ip_addr.c [new file with mode: 0644]
lib/barrelfish/Hakefile
lib/barrelfish/arch/arm/debug.c
lib/barrelfish/arch/arm/dispatch.c
lib/barrelfish/arch/arm/pmap_arch.c
lib/barrelfish/arch/arm/sys_debug.c
lib/barrelfish/arch/arm/syscall.S
lib/barrelfish/arch/arm/syscalls.c
lib/barrelfish/arch/x86_32/dispatch.c
lib/barrelfish/arch/x86_32/sys_debug.c
lib/barrelfish/arch/x86_32/syscalls.c
lib/barrelfish/arch/x86_64/dispatch.c
lib/barrelfish/arch/x86_64/ldt.c
lib/barrelfish/arch/x86_64/sys_debug.c
lib/barrelfish/arch/x86_64/syscalls.c
lib/barrelfish/capabilities.c
lib/barrelfish/debug.c
lib/barrelfish/deferred.c
lib/barrelfish/dispatch.c
lib/barrelfish/domain.c
lib/barrelfish/event_queue.c
lib/barrelfish/flounder_support.c
lib/barrelfish/flounder_txqueue.c [new file with mode: 0644]
lib/barrelfish/include/arch/k1om/arch/fpu.h [new file with mode: 0644]
lib/barrelfish/include/arch/k1om/arch/ldt.h [new file with mode: 0644]
lib/barrelfish/include/arch/k1om/arch/registers.h [new file with mode: 0644]
lib/barrelfish/include/arch/k1om/arch/threads.h [new file with mode: 0644]
lib/barrelfish/include/target/k1om/registers_target.h [new file with mode: 0644]
lib/barrelfish/include/threads_priv.h
lib/barrelfish/include/waitset_chan_priv.h
lib/barrelfish/init.c
lib/barrelfish/inthandler.c
lib/barrelfish/monitor_client.c
lib/barrelfish/morecore.c
lib/barrelfish/slab.c
lib/barrelfish/spawn_client.c
lib/barrelfish/target/x86_64/pmap_target.c
lib/barrelfish/terminal.c
lib/barrelfish/thread_once.c [new file with mode: 0644]
lib/barrelfish/thread_sync.c
lib/barrelfish/threads.c
lib/barrelfish/vspace/memobj_anon.c
lib/barrelfish/vspace/memobj_fixed.c [new file with mode: 0644]
lib/barrelfish/vspace/memobj_numa.c [new file with mode: 0644]
lib/barrelfish/vspace/pinned.c
lib/barrelfish/vspace/utils.c
lib/barrelfish/waitset.c
lib/bench/Hakefile
lib/bench/arch/arm/bench_arch.c
lib/bench/arch/x86/bench_arch.c
lib/bench/bench.c
lib/bench/bench_ctl.c
lib/bitmap/Hakefile [new file with mode: 0644]
lib/bitmap/bitmap.c [new file with mode: 0644]
lib/bomp/Hakefile
lib/bomp/atomic.c [new file with mode: 0644]
lib/bomp/backend.h [deleted file]
lib/bomp/backends/bomp_exclusive.c [new file with mode: 0644]
lib/bomp/backends/bomp_shared.c [new file with mode: 0644]
lib/bomp/backends/linux.c [new file with mode: 0644]
lib/bomp/backends/xomp_gateway.c [new file with mode: 0644]
lib/bomp/backends/xomp_gateway_client.c [new file with mode: 0644]
lib/bomp/backends/xomp_master.c [new file with mode: 0644]
lib/bomp/backends/xomp_worker.c [new file with mode: 0644]
lib/bomp/barrier.c [new file with mode: 0644]
lib/bomp/bf_backend.c [deleted file]
lib/bomp/bomp.c [new file with mode: 0644]
lib/bomp/critical.c [new file with mode: 0644]
lib/bomp/icv.c [new file with mode: 0644]
lib/bomp/include/abi.h [new file with mode: 0644]
lib/bomp/include/bomp_backend.h [new file with mode: 0644]
lib/bomp/include/bomp_internal.h [new file with mode: 0644]
lib/bomp/include/bomp_task.h [new file with mode: 0644]
lib/bomp/include/bomp_team.h [new file with mode: 0644]
lib/bomp/include/bomp_thread.h [new file with mode: 0644]
lib/bomp/include/environment.h [new file with mode: 0644]
lib/bomp/include/icv.h [new file with mode: 0644]
lib/bomp/include/mutex.h [new file with mode: 0644]
lib/bomp/include/spin.h [new file with mode: 0644]
lib/bomp/include/xomp_debug.h [new file with mode: 0644]
lib/bomp/include/xomp_gateway.h [new file with mode: 0644]
lib/bomp/include/xomp_gateway_client.h [new file with mode: 0644]
lib/bomp/libbomp.h [deleted file]
lib/bomp/linux_backend.c [deleted file]
lib/bomp/loop.c [new file with mode: 0644]
lib/bomp/omp.c
lib/bomp/omp.h [deleted file]
lib/bomp/ordered.c [new file with mode: 0644]
lib/bomp/parallel.c
lib/bomp/processing.c [deleted file]
lib/bomp/sections.c [new file with mode: 0644]
lib/bomp/single.c [new file with mode: 0644]
lib/bomp/spin.h [deleted file]
lib/bomp_new/Hakefile [new file with mode: 0644]
lib/bomp_new/atomic.c [new file with mode: 0644]
lib/bomp_new/barrier.c [new file with mode: 0644]
lib/bomp_new/bomp.c [new file with mode: 0644]
lib/bomp_new/bomp_init.c [new file with mode: 0644]
lib/bomp_new/bomp_node.c [new file with mode: 0644]
lib/bomp_new/bomp_thread.c [new file with mode: 0644]
lib/bomp_new/critical.c [new file with mode: 0644]
lib/bomp_new/icv.c [new file with mode: 0644]
lib/bomp_new/include/bomp_debug.h [new file with mode: 0644]
lib/bomp_new/include/bomp_internal.h [new file with mode: 0644]
lib/bomp_new/include/omp_abi.h [new file with mode: 0644]
lib/bomp_new/include/omp_environment.h [new file with mode: 0644]
lib/bomp_new/include/omp_icv.h [new file with mode: 0644]
lib/bomp_new/loop.c [new file with mode: 0644]
lib/bomp_new/omp.c [new file with mode: 0644]
lib/bomp_new/omp_icv.c [new file with mode: 0644]
lib/bomp_new/ordered.c [new file with mode: 0644]
lib/bomp_new/parallel.c [new file with mode: 0644]
lib/bomp_new/sections.c [new file with mode: 0644]
lib/bomp_new/single.c [new file with mode: 0644]
lib/bomp_new/test/test.c [new file with mode: 0644]
lib/bulk_transfer/Hakefile [new file with mode: 0644]
lib/bulk_transfer/backends/backend.c [new file with mode: 0644]
lib/bulk_transfer/backends/backend.h [new file with mode: 0644]
lib/bulk_transfer/backends/local/control_channel.c [new file with mode: 0644]
lib/bulk_transfer/backends/net/bulk_net_backend.h [new file with mode: 0644]
lib/bulk_transfer/backends/net/bulk_net_e10k.c [new file with mode: 0644]
lib/bulk_transfer/backends/net/bulk_net_e10k.h [new file with mode: 0644]
lib/bulk_transfer/backends/net/bulk_net_endpoint.c [new file with mode: 0644]
lib/bulk_transfer/backends/net/bulk_net_no_copy.c [new file with mode: 0644]
lib/bulk_transfer/backends/net/bulk_net_proxy.c [new file with mode: 0644]
lib/bulk_transfer/backends/net/bulk_net_transfer.c [new file with mode: 0644]
lib/bulk_transfer/backends/net/bulk_net_transfer.h [new file with mode: 0644]
lib/bulk_transfer/backends/net/bulk_net_transparent.c [new file with mode: 0644]
lib/bulk_transfer/backends/net/e10k_queue.h [new file with mode: 0644]
lib/bulk_transfer/backends/net/stack_allocator.c [new file with mode: 0644]
lib/bulk_transfer/backends/sm/buffers.c [new file with mode: 0644]
lib/bulk_transfer/backends/sm/bulk_sm_impl.h [new file with mode: 0644]
lib/bulk_transfer/backends/sm/channel.c [new file with mode: 0644]
lib/bulk_transfer/backends/sm/endpoint.c [new file with mode: 0644]
lib/bulk_transfer/backends/sm/flounder_helpers.c [new file with mode: 0644]
lib/bulk_transfer/backends/sm/pending_msg.c [new file with mode: 0644]
lib/bulk_transfer/backends/sm/pending_msg.h [new file with mode: 0644]
lib/bulk_transfer/backends/sm/pool.c [new file with mode: 0644]
lib/bulk_transfer/backends/sm/ws_helpers.c [new file with mode: 0644]
lib/bulk_transfer/bulk_allocator.c [new file with mode: 0644]
lib/bulk_transfer/bulk_buffer.c [new file with mode: 0644]
lib/bulk_transfer/bulk_buffer.h [new file with mode: 0644]
lib/bulk_transfer/bulk_channel.c [new file with mode: 0644]
lib/bulk_transfer/bulk_endpoint.c [new file with mode: 0644]
lib/bulk_transfer/bulk_pool.c [new file with mode: 0644]
lib/bulk_transfer/bulk_pool.h [new file with mode: 0644]
lib/bulk_transfer/bulk_transfer.c [new file with mode: 0644]
lib/bulk_transfer/control_channel.c [new file with mode: 0644]
lib/bulk_transfer/helpers.h [new file with mode: 0644]
lib/crt/arch/k1om/crt0.S [new file with mode: 0644]
lib/cxx/Hakefile
lib/cxx/README.barrelfish [new file with mode: 0644]
lib/cxx/cxx/algorithm.cpp [new file with mode: 0644]
lib/cxx/cxx/bind.cpp [moved from lib/cxx/src/bind.cpp with 100% similarity]
lib/cxx/cxx/chrono.cpp [new file with mode: 0644]
lib/cxx/cxx/condition_variable.cpp [new file with mode: 0644]
lib/cxx/cxx/exception.cpp [new file with mode: 0644]
lib/cxx/cxx/future.cpp [new file with mode: 0644]
lib/cxx/cxx/hash.cpp [new file with mode: 0644]
lib/cxx/cxx/ios.cpp [new file with mode: 0644]
lib/cxx/cxx/iostream.cpp [new file with mode: 0644]
lib/cxx/cxx/locale.cpp [new file with mode: 0644]
lib/cxx/cxx/memory.cpp [new file with mode: 0644]
lib/cxx/cxx/mutex.cpp [new file with mode: 0644]
lib/cxx/cxx/new.cpp [new file with mode: 0644]
lib/cxx/cxx/random.cpp [new file with mode: 0644]
lib/cxx/cxx/regex.cpp [new file with mode: 0644]
lib/cxx/cxx/shared_mutex.cpp [new file with mode: 0644]
lib/cxx/cxx/stdexcept.cpp [new file with mode: 0644]
lib/cxx/cxx/string.cpp [new file with mode: 0644]
lib/cxx/cxx/strstream.cpp [new file with mode: 0644]
lib/cxx/cxx/system_error.cpp [new file with mode: 0644]
lib/cxx/cxx/thread.cpp [new file with mode: 0644]
lib/cxx/cxx/typeinfo.cpp [new file with mode: 0644]
lib/cxx/cxx/utility.cpp [new file with mode: 0644]
lib/cxx/cxx/valarray.cpp [new file with mode: 0644]
lib/cxx/cxxabi/CMakeLists.txt [new file with mode: 0644]
lib/cxx/cxxabi/abort_message.cpp [new file with mode: 0644]
lib/cxx/cxxabi/abort_message.h [new file with mode: 0644]
lib/cxx/cxxabi/config.h [new file with mode: 0644]
lib/cxx/cxxabi/cxa_aux_runtime.cpp [new file with mode: 0644]
lib/cxx/cxxabi/cxa_default_handlers.cpp [new file with mode: 0644]
lib/cxx/cxxabi/cxa_demangle.cpp [new file with mode: 0644]
lib/cxx/cxxabi/cxa_exception.cpp [new file with mode: 0644]
lib/cxx/cxxabi/cxa_exception.hpp [new file with mode: 0644]
lib/cxx/cxxabi/cxa_exception_storage.cpp [new file with mode: 0644]
lib/cxx/cxxabi/cxa_guard.cpp [new file with mode: 0644]
lib/cxx/cxxabi/cxa_handlers.cpp [new file with mode: 0644]
lib/cxx/cxxabi/cxa_handlers.hpp [new file with mode: 0644]
lib/cxx/cxxabi/cxa_new_delete.cpp [new file with mode: 0644]
lib/cxx/cxxabi/cxa_personality.cpp [new file with mode: 0644]
lib/cxx/cxxabi/cxa_unexpected.cpp [new file with mode: 0644]
lib/cxx/cxxabi/cxa_vector.cpp [new file with mode: 0644]
lib/cxx/cxxabi/cxa_virtual.cpp [new file with mode: 0644]
lib/cxx/cxxabi/exception.cpp [new file with mode: 0644]
lib/cxx/cxxabi/fallback_malloc.ipp [new file with mode: 0644]
lib/cxx/cxxabi/private_typeinfo.cpp [new file with mode: 0644]
lib/cxx/cxxabi/private_typeinfo.h [new file with mode: 0644]
lib/cxx/cxxabi/stdexcept.cpp [new file with mode: 0644]
lib/cxx/cxxabi/typeinfo.cpp [new file with mode: 0644]
lib/cxx/include/cxxabi.h [new file with mode: 0644]
lib/cxx/include/libunwind.h [new file with mode: 0644]
lib/cxx/include/mach-o/compact_unwind_encoding.h [new file with mode: 0644]
lib/cxx/include/private_typeinfo.h [new file with mode: 0644]
lib/cxx/include/unwind.h [new file with mode: 0644]
lib/cxx/src/algorithm.cpp [deleted file]
lib/cxx/src/chrono.cpp [deleted file]
lib/cxx/src/condition_variable.cpp [deleted file]
lib/cxx/src/exception.cpp [deleted file]
lib/cxx/src/future.cpp [deleted file]
lib/cxx/src/hash.cpp [deleted file]
lib/cxx/src/ios.cpp [deleted file]
lib/cxx/src/iostream.cpp [deleted file]
lib/cxx/src/locale.cpp [deleted file]
lib/cxx/src/memory.cpp [deleted file]
lib/cxx/src/mutex.cpp [deleted file]
lib/cxx/src/new.cpp [deleted file]
lib/cxx/src/random.cpp [deleted file]
lib/cxx/src/regex.cpp [deleted file]
lib/cxx/src/stdexcept.cpp [deleted file]
lib/cxx/src/string.cpp [deleted file]
lib/cxx/src/strstream.cpp [deleted file]
lib/cxx/src/system_error.cpp [deleted file]
lib/cxx/src/thread.cpp [deleted file]
lib/cxx/src/typeinfo.cpp [deleted file]
lib/cxx/src/utility.cpp [deleted file]
lib/cxx/src/valarray.cpp [deleted file]
lib/cxx/unwind/AddressSpace.cpp [new file with mode: 0644]
lib/cxx/unwind/AddressSpace.hpp [new file with mode: 0644]
lib/cxx/unwind/CMakeLists.txt [new file with mode: 0644]
lib/cxx/unwind/CompactUnwinder.hpp [new file with mode: 0644]
lib/cxx/unwind/DwarfInstructions.hpp [new file with mode: 0644]
lib/cxx/unwind/DwarfParser.hpp [new file with mode: 0644]
lib/cxx/unwind/Registers.hpp [new file with mode: 0644]
lib/cxx/unwind/Unwind-EHABI.cpp [new file with mode: 0644]
lib/cxx/unwind/Unwind-sjlj.c [new file with mode: 0644]
lib/cxx/unwind/UnwindCursor.hpp [new file with mode: 0644]
lib/cxx/unwind/UnwindLevel1-gcc-ext.c [new file with mode: 0644]
lib/cxx/unwind/UnwindLevel1.c [new file with mode: 0644]
lib/cxx/unwind/UnwindRegistersRestore.S [new file with mode: 0644]
lib/cxx/unwind/UnwindRegistersSave.S [new file with mode: 0644]
lib/cxx/unwind/assembly.h [new file with mode: 0644]
lib/cxx/unwind/config.h [new file with mode: 0644]
lib/cxx/unwind/dwarf2.h [new file with mode: 0644]
lib/cxx/unwind/libunwind.cpp [new file with mode: 0644]
lib/cxx/unwind/libunwind_ext.h [new file with mode: 0644]
lib/cxx/unwind/unwind_backend.c [new file with mode: 0644]
lib/cxx/unwind/unwind_ext.h [new file with mode: 0644]
lib/dma/Hakefile [new file with mode: 0644]
lib/dma/client/dma_client_channel.c [new file with mode: 0644]
lib/dma/client/dma_client_device.c [new file with mode: 0644]
lib/dma/client/dma_client_request.c [new file with mode: 0644]
lib/dma/dma_bench.c [new file with mode: 0644]
lib/dma/dma_channel.c [new file with mode: 0644]
lib/dma/dma_descriptor.c [new file with mode: 0644]
lib/dma/dma_device.c [new file with mode: 0644]
lib/dma/dma_mem_mgr.c [new file with mode: 0644]
lib/dma/dma_mem_utils.c [new file with mode: 0644]
lib/dma/dma_mgr_client.c [new file with mode: 0644]
lib/dma/dma_request.c [new file with mode: 0644]
lib/dma/dma_ring.c [new file with mode: 0644]
lib/dma/dma_service.c [new file with mode: 0644]
lib/dma/include/client/dma_client_channel_internal.h [new file with mode: 0644]
lib/dma/include/client/dma_client_device_internal.h [new file with mode: 0644]
lib/dma/include/client/dma_client_internal.h [new file with mode: 0644]
lib/dma/include/client/dma_client_request_internal.h [new file with mode: 0644]
lib/dma/include/debug.h [new file with mode: 0644]
lib/dma/include/dma_channel_internal.h [new file with mode: 0644]
lib/dma/include/dma_client_internal.h [new file with mode: 0644]
lib/dma/include/dma_descriptor_internal.h [new file with mode: 0644]
lib/dma/include/dma_device_internal.h [new file with mode: 0644]
lib/dma/include/dma_internal.h [new file with mode: 0644]
lib/dma/include/dma_mem_utils.h [new file with mode: 0644]
lib/dma/include/dma_request_internal.h [new file with mode: 0644]
lib/dma/include/dma_ring_internal.h [new file with mode: 0644]
lib/dma/include/ioat/ioat_dma_channel_internal.h [new file with mode: 0644]
lib/dma/include/ioat/ioat_dma_dca_internal.h [new file with mode: 0644]
lib/dma/include/ioat/ioat_dma_descriptors_internal.h [new file with mode: 0644]
lib/dma/include/ioat/ioat_dma_device_internal.h [new file with mode: 0644]
lib/dma/include/ioat/ioat_dma_internal.h [new file with mode: 0644]
lib/dma/include/ioat/ioat_dma_request_internal.h [new file with mode: 0644]
lib/dma/include/xeon_phi/xeon_phi_dma_channel_internal.h [new file with mode: 0644]
lib/dma/include/xeon_phi/xeon_phi_dma_descriptors_internal.h [new file with mode: 0644]
lib/dma/include/xeon_phi/xeon_phi_dma_device_internal.h [new file with mode: 0644]
lib/dma/include/xeon_phi/xeon_phi_dma_internal.h [new file with mode: 0644]
lib/dma/include/xeon_phi/xeon_phi_dma_request_internal.h [new file with mode: 0644]
lib/dma/ioat/ioat_dma.c [new file with mode: 0644]
lib/dma/ioat/ioat_dma_channel.c [new file with mode: 0644]
lib/dma/ioat/ioat_dma_dca.c [new file with mode: 0644]
lib/dma/ioat/ioat_dma_descriptors.c [new file with mode: 0644]
lib/dma/ioat/ioat_dma_device.c [new file with mode: 0644]
lib/dma/ioat/ioat_dma_request.c [new file with mode: 0644]
lib/dma/xeon_phi/xeon_phi_dma.c [new file with mode: 0644]
lib/dma/xeon_phi/xeon_phi_dma_channel.c [new file with mode: 0644]
lib/dma/xeon_phi/xeon_phi_dma_descriptors.c [new file with mode: 0644]
lib/dma/xeon_phi/xeon_phi_dma_device.c [new file with mode: 0644]
lib/dma/xeon_phi/xeon_phi_dma_request.c [new file with mode: 0644]
lib/dmalloc/README.barrelfish [new file with mode: 0644]
lib/elf/Hakefile
lib/elf/elf.c
lib/elf/elf32.c
lib/elf/elf64.c
lib/lua/Hakefile [new file with mode: 0644]
lib/lua/Makefile [new file with mode: 0644]
lib/lua/README [new file with mode: 0644]
lib/lua/doc/contents.html [new file with mode: 0644]
lib/lua/doc/logo.gif [new file with mode: 0644]
lib/lua/doc/lua.1 [new file with mode: 0644]
lib/lua/doc/lua.css [new file with mode: 0644]
lib/lua/doc/luac.1 [new file with mode: 0644]
lib/lua/doc/manual.css [new file with mode: 0644]
lib/lua/doc/manual.html [new file with mode: 0644]
lib/lua/doc/osi-certified-72x60.png [new file with mode: 0644]
lib/lua/doc/readme.html [new file with mode: 0644]
lib/lua/src/Makefile [new file with mode: 0644]
lib/lua/src/lapi.c [new file with mode: 0644]
lib/lua/src/lapi.h [new file with mode: 0644]
lib/lua/src/lauxlib.c [new file with mode: 0644]
lib/lua/src/lbaselib.c [new file with mode: 0644]
lib/lua/src/lbitlib.c [new file with mode: 0644]
lib/lua/src/lcode.c [new file with mode: 0644]
lib/lua/src/lcode.h [new file with mode: 0644]
lib/lua/src/lcorolib.c [new file with mode: 0644]
lib/lua/src/lctype.c [new file with mode: 0644]
lib/lua/src/lctype.h [new file with mode: 0644]
lib/lua/src/ldblib.c [new file with mode: 0644]
lib/lua/src/ldebug.c [new file with mode: 0644]
lib/lua/src/ldebug.h [new file with mode: 0644]
lib/lua/src/ldo.c [new file with mode: 0644]
lib/lua/src/ldo.h [new file with mode: 0644]
lib/lua/src/ldump.c [new file with mode: 0644]
lib/lua/src/lfunc.c [new file with mode: 0644]
lib/lua/src/lfunc.h [new file with mode: 0644]
lib/lua/src/lgc.c [new file with mode: 0644]
lib/lua/src/lgc.h [new file with mode: 0644]
lib/lua/src/linit.c [new file with mode: 0644]
lib/lua/src/liolib.c [new file with mode: 0644]
lib/lua/src/llex.c [new file with mode: 0644]
lib/lua/src/llex.h [new file with mode: 0644]
lib/lua/src/llimits.h [new file with mode: 0644]
lib/lua/src/lmathlib.c [new file with mode: 0644]
lib/lua/src/lmem.c [new file with mode: 0644]
lib/lua/src/lmem.h [new file with mode: 0644]
lib/lua/src/loadlib.c [new file with mode: 0644]
lib/lua/src/lobject.c [new file with mode: 0644]
lib/lua/src/lobject.h [new file with mode: 0644]
lib/lua/src/lopcodes.c [new file with mode: 0644]
lib/lua/src/lopcodes.h [new file with mode: 0644]
lib/lua/src/loslib.c [new file with mode: 0644]
lib/lua/src/lparser.c [new file with mode: 0644]
lib/lua/src/lparser.h [new file with mode: 0644]
lib/lua/src/lstate.c [new file with mode: 0644]
lib/lua/src/lstate.h [new file with mode: 0644]
lib/lua/src/lstring.c [new file with mode: 0644]
lib/lua/src/lstring.h [new file with mode: 0644]
lib/lua/src/lstrlib.c [new file with mode: 0644]
lib/lua/src/ltable.c [new file with mode: 0644]
lib/lua/src/ltable.h [new file with mode: 0644]
lib/lua/src/ltablib.c [new file with mode: 0644]
lib/lua/src/ltm.c [new file with mode: 0644]
lib/lua/src/ltm.h [new file with mode: 0644]
lib/lua/src/lua.c [new file with mode: 0644]
lib/lua/src/luac.c [new file with mode: 0644]
lib/lua/src/lundump.c [new file with mode: 0644]
lib/lua/src/lundump.h [new file with mode: 0644]
lib/lua/src/lvm.c [new file with mode: 0644]
lib/lua/src/lvm.h [new file with mode: 0644]
lib/lua/src/lzio.c [new file with mode: 0644]
lib/lua/src/lzio.h [new file with mode: 0644]
lib/lwip/Hakefile
lib/lwip/README.barrelfish [new file with mode: 0644]
lib/lwip/src/api/sockets.c
lib/lwip/src/core/ipv4/icmp.c
lib/lwip/src/include/arch/sys_arch.h [moved from include/arch/sys_arch.h with 100% similarity]
lib/lwip/src/include/ipv4/lwip/autoip.h [moved from include/ipv4/lwip/autoip.h with 100% similarity]
lib/lwip/src/include/ipv4/lwip/icmp.h [moved from include/ipv4/lwip/icmp.h with 100% similarity]
lib/lwip/src/include/ipv4/lwip/igmp.h [moved from include/ipv4/lwip/igmp.h with 100% similarity]
lib/lwip/src/include/ipv4/lwip/inet.h [moved from include/ipv4/lwip/inet.h with 100% similarity]
lib/lwip/src/include/ipv4/lwip/inet_chksum.h [moved from include/ipv4/lwip/inet_chksum.h with 100% similarity]
lib/lwip/src/include/ipv4/lwip/ip.h [moved from include/ipv4/lwip/ip.h with 100% similarity]
lib/lwip/src/include/ipv4/lwip/ip_addr.h [new file with mode: 0644]
lib/lwip/src/include/ipv4/lwip/ip_frag.h [moved from include/ipv4/lwip/ip_frag.h with 100% similarity]
lib/lwip/src/include/ipv6/lwip/icmp.h [moved from include/ipv6/lwip/icmp.h with 100% similarity]
lib/lwip/src/include/ipv6/lwip/inet.h [moved from include/ipv6/lwip/inet.h with 100% similarity]
lib/lwip/src/include/ipv6/lwip/ip.h [moved from include/ipv6/lwip/ip.h with 100% similarity]
lib/lwip/src/include/ipv6/lwip/ip_addr.h [moved from include/ipv6/lwip/ip_addr.h with 100% similarity]
lib/lwip/src/include/lwip/api.h [moved from include/lwip/api.h with 100% similarity]
lib/lwip/src/include/lwip/api_msg.h [moved from include/lwip/api_msg.h with 100% similarity]
lib/lwip/src/include/lwip/arch.h [moved from include/lwip/arch.h with 100% similarity]
lib/lwip/src/include/lwip/barrelfish.h [moved from include/lwip/barrelfish.h with 100% similarity]
lib/lwip/src/include/lwip/debug.h [moved from include/lwip/debug.h with 100% similarity]
lib/lwip/src/include/lwip/def.h [moved from include/lwip/def.h with 100% similarity]
lib/lwip/src/include/lwip/dhcp.h [moved from include/lwip/dhcp.h with 100% similarity]
lib/lwip/src/include/lwip/dns.h [moved from include/lwip/dns.h with 100% similarity]
lib/lwip/src/include/lwip/err.h [moved from include/lwip/err.h with 100% similarity]
lib/lwip/src/include/lwip/init.h [moved from include/lwip/init.h with 100% similarity]
lib/lwip/src/include/lwip/mem.h [moved from include/lwip/mem.h with 100% similarity]
lib/lwip/src/include/lwip/memp.h [moved from include/lwip/memp.h with 100% similarity]
lib/lwip/src/include/lwip/memp_std.h [moved from include/lwip/memp_std.h with 100% similarity]
lib/lwip/src/include/lwip/netbuf.h [moved from include/lwip/netbuf.h with 100% similarity]
lib/lwip/src/include/lwip/netdb.h [moved from include/lwip/netdb.h with 100% similarity]
lib/lwip/src/include/lwip/netif.h [moved from include/lwip/netif.h with 100% similarity]
lib/lwip/src/include/lwip/netifapi.h [moved from include/lwip/netifapi.h with 100% similarity]
lib/lwip/src/include/lwip/opt.h [moved from include/lwip/opt.h with 100% similarity]
lib/lwip/src/include/lwip/pbuf.h [moved from include/lwip/pbuf.h with 100% similarity]
lib/lwip/src/include/lwip/raw.h [moved from include/lwip/raw.h with 100% similarity]
lib/lwip/src/include/lwip/sio.h [moved from include/lwip/sio.h with 100% similarity]
lib/lwip/src/include/lwip/snmp.h [moved from include/lwip/snmp.h with 100% similarity]
lib/lwip/src/include/lwip/snmp_asn1.h [moved from include/lwip/snmp_asn1.h with 100% similarity]
lib/lwip/src/include/lwip/snmp_msg.h [moved from include/lwip/snmp_msg.h with 100% similarity]
lib/lwip/src/include/lwip/snmp_structs.h [moved from include/lwip/snmp_structs.h with 100% similarity]
lib/lwip/src/include/lwip/sock_chan_support.h [new file with mode: 0644]
lib/lwip/src/include/lwip/sock_serialise.h [moved from include/lwip/sock_serialise.h with 100% similarity]
lib/lwip/src/include/lwip/sockets.h [new file with mode: 0644]
lib/lwip/src/include/lwip/stats.h [moved from include/lwip/stats.h with 100% similarity]
lib/lwip/src/include/lwip/sys.h [moved from include/lwip/sys.h with 100% similarity]
lib/lwip/src/include/lwip/tcp.h [moved from include/lwip/tcp.h with 100% similarity]
lib/lwip/src/include/lwip/tcpip.h [moved from include/lwip/tcpip.h with 100% similarity]
lib/lwip/src/include/lwip/udp.h [moved from include/lwip/udp.h with 100% similarity]
lib/lwip/src/include/lwipopts.h [moved from include/lwipopts.h with 100% similarity]
lib/lwip/src/include/netif/bfeth.h [moved from include/netif/bfeth.h with 100% similarity]
lib/lwip/src/include/netif/e1000.h [new file with mode: 0644]
lib/lwip/src/include/netif/etharp.h [moved from include/netif/etharp.h with 100% similarity]
lib/lwip/src/include/netif/loopif.h [moved from include/netif/loopif.h with 100% similarity]
lib/lwip/src/include/netif/slipif.h [moved from include/netif/slipif.h with 100% similarity]
lib/mdb/Hakefile
lib/mdb/mdb.c
lib/mdb/mdb_tree.c
lib/mm/mm.c
lib/net_queue_manager/Hakefile
lib/newlib/README.barrelfish [new file with mode: 0644]
lib/newlib/newlib/libc/Hakefile
lib/newlib/newlib/libc/include/langinfo.h
lib/newlib/newlib/libc/include/locale.h
lib/newlib/newlib/libc/include/math.h
lib/newlib/newlib/libc/include/sys/lock.h
lib/newlib/newlib/libc/locale/ldpart.c
lib/newlib/newlib/libc/locale/locale.c
lib/newlib/newlib/libc/machine/Hakefile [new file with mode: 0644]
lib/newlib/newlib/libc/machine/frv/setjmp.S
lib/newlib/newlib/libc/machine/x86_64/memcpy.S
lib/newlib/newlib/libc/machine/x86_64/memset.S
lib/newlib/newlib/libc/reent/Hakefile
lib/newlib/newlib/libc/stdio/remove.c
lib/newlib/newlib/libc/stdlib/dtoa.c
lib/newlib/newlib/libc/sys/barrelfish/Hakefile
lib/newlib/newlib/libc/sys/barrelfish/lock.c [new file with mode: 0644]
lib/newlib/newlib/libc/sys/barrelfish/syscalls.c
lib/nfs/nfs_xdr.c
lib/numa/Hakefile [new file with mode: 0644]
lib/numa/alloc.c [new file with mode: 0644]
lib/numa/numa.c [new file with mode: 0644]
lib/numa/numa_bitmap.c [new file with mode: 0644]
lib/numa/numa_debug.h [new file with mode: 0644]
lib/numa/numa_internal.h [new file with mode: 0644]
lib/numa/policy.c [new file with mode: 0644]
lib/numa/utilities.c [new file with mode: 0644]
lib/octopus/Hakefile
lib/octopus/client/barriers.c
lib/octopus/client/capability_storage.c
lib/octopus/client/getset.c
lib/octopus/client/locking.c
lib/octopus/client/octopus.c
lib/octopus/client/pubsub.c
lib/octopus/client/semaphores.c
lib/octopus/client/trigger.c
lib/octopus/parser/parse_names.c [new file with mode: 0644]
lib/octopus/parser/read.c
lib/octopus/parser/strnatcmp.c [moved from lib/octopus/client/strnatcmp.c with 100% similarity]
lib/octopus/parser/strnatcmp.h [moved from lib/octopus/client/strnatcmp.h with 100% similarity]
lib/oldc/src/fileno.c
lib/pci/confspace/pcie_confspace.c
lib/pci/pci_client.c
lib/pcre/README.barrelfish [new file with mode: 0644]
lib/phoenix/tpool.c
lib/posixcompat/Hakefile
lib/posixcompat/alarm.c
lib/posixcompat/chmod.c
lib/posixcompat/close.c
lib/posixcompat/dlfcn.c
lib/posixcompat/epoll.c [new file with mode: 0644]
lib/posixcompat/fcntl.c
lib/posixcompat/getegid.c [deleted file]
lib/posixcompat/geteuid.c
lib/posixcompat/gettimeofday.c
lib/posixcompat/inet_ntop.c [new file with mode: 0644]
lib/posixcompat/inet_pton.c [new file with mode: 0644]
lib/posixcompat/inheritance.c
lib/posixcompat/mkfifo.c [new file with mode: 0644]
lib/posixcompat/mmap.c [new file with mode: 0644]
lib/posixcompat/pipe.c
lib/posixcompat/pthreads.c [new file with mode: 0644]
lib/posixcompat/read.c
lib/posixcompat/readv.c
lib/posixcompat/select.c
lib/posixcompat/setrlimit.c [new file with mode: 0644]
lib/posixcompat/shm.c
lib/posixcompat/signal.c
lib/posixcompat/sleep.c [new file with mode: 0644]
lib/posixcompat/sockets.c
lib/posixcompat/stat.c
lib/posixcompat/unixsock.h
lib/posixcompat/wait.c
lib/posixcompat/write.c
lib/skb/skb.c
lib/skb/skb_functions.c
lib/spawndomain/Hakefile
lib/spawndomain/arch/x86/spawn_arch.c
lib/spawndomain/multiboot.c
lib/spawndomain/spawn.c
lib/spawndomain/spawn.h
lib/spawndomain/spawn_omp.c [new file with mode: 0644]
lib/term/Hakefile
lib/term/client/client.c
lib/term/client/client_blocking.c
lib/term/client/default_triggers.c
lib/term/client/filter.c
lib/term/client/trigger.c
lib/tweed/tweed.c
lib/usb/usb_transfer.c
lib/vfs/Hakefile
lib/vfs/vfs.c
lib/vfs/vfs_fat.c
lib/vfs/vfs_fd.c
lib/vfs/vfs_nfs.c
lib/virtio/Hakefile [new file with mode: 0644]
lib/virtio/backends/virtio_device_io.c [new file with mode: 0644]
lib/virtio/backends/virtio_device_mmio.c [new file with mode: 0644]
lib/virtio/backends/virtio_device_pci.c [new file with mode: 0644]
lib/virtio/backends/virtio_io.h [new file with mode: 0644]
lib/virtio/backends/virtio_mmio.h [new file with mode: 0644]
lib/virtio/backends/virtio_pci.h [new file with mode: 0644]
lib/virtio/debug.h [new file with mode: 0644]
lib/virtio/device.c [new file with mode: 0644]
lib/virtio/device.h [new file with mode: 0644]
lib/virtio/devices/virtio_block.c [new file with mode: 0644]
lib/virtio/devices/virtio_console.c [new file with mode: 0644]
lib/virtio/devices/virtio_net.c [new file with mode: 0644]
lib/virtio/guest.c [new file with mode: 0644]
lib/virtio/guest/channel.h [new file with mode: 0644]
lib/virtio/guest/channel_flounder.c [new file with mode: 0644]
lib/virtio/guest/channel_xeon_phi.c [new file with mode: 0644]
lib/virtio/host.c [new file with mode: 0644]
lib/virtio/host/channel.h [new file with mode: 0644]
lib/virtio/host/channel_flounder.c [new file with mode: 0644]
lib/virtio/host/channel_xeon_phi.c [new file with mode: 0644]
lib/virtio/vbuffer.c [new file with mode: 0644]
lib/virtio/vbuffer.h [new file with mode: 0644]
lib/virtio/virtqueue.c [new file with mode: 0644]
lib/virtio/virtqueue_host.c [new file with mode: 0644]
lib/xeon_phi/Hakefile [new file with mode: 0644]
lib/xeon_phi/xeon_phi_client.c [new file with mode: 0644]
lib/xeon_phi/xeon_phi_client_internal.h [new file with mode: 0644]
lib/xeon_phi/xeon_phi_domain.c [new file with mode: 0644]
lib/xeon_phi/xeon_phi_manager_client.c [new file with mode: 0644]
lib/zlib/README.barrelfish [new file with mode: 0644]
tools/arm-mkbootcpio.sh
tools/arm_gem5/additional_notes.txt
tools/arm_molly/build_data_files.sh
tools/arm_molly/build_multiboot.c
tools/arm_molly/lib.c
tools/asmoffsets/asmoffsets.c
tools/debug.gdb
tools/debug.sh
tools/elver/Hakefile
tools/elver/elver.c
tools/elver/lib.c
tools/flounder/Arch.hs
tools/flounder/BackendCommon.hs
tools/flounder/GCBackend.hs
tools/flounder/GHBackend.hs
tools/flounder/LMP.hs
tools/flounder/UMPCommon.hs
tools/harness/barrelfish.py
tools/harness/builds.py
tools/harness/machines/__init__.py
tools/harness/machines/eth.py
tools/harness/machines/eth_machinedata.py
tools/harness/machines/gem5.py
tools/harness/machines/qemu.py
tools/harness/machines/uw.py [new file with mode: 0644]
tools/harness/machines/uw_machinedata.py [new file with mode: 0644]
tools/harness/scalebench.py
tools/harness/siteconfig/__init__.py
tools/harness/siteconfig/eth.py
tools/harness/siteconfig/uw.py [new file with mode: 0644]
tools/harness/tests/__init__.py
tools/harness/tests/bulktests.py
tools/harness/tests/common.py
tools/harness/tests/coreboottest.py [new file with mode: 0644]
tools/harness/tests/greenmarl.py [new file with mode: 0644]
tools/harness/tests/spantest.py
tools/harness/tests/vmkit.py
tools/harness/tests/webserver.py
tools/mackerel/Fields.hs
tools/mackerel/Main.hs
tools/mackerel/ShiftDriver.hs
tools/molly/build_multiboot.c
tools/run-pdflatex.sh
tools/schedsim/simulator.c
tools/weever/Hakefile [new file with mode: 0644]
tools/weever/boot.S [new file with mode: 0644]
tools/weever/creator/Hakefile [new file with mode: 0644]
tools/weever/creator/weever_creator.c [new file with mode: 0644]
tools/weever/elf64.c [new file with mode: 0644]
tools/weever/install.sh [new file with mode: 0755]
tools/weever/lib.c [new file with mode: 0644]
tools/weever/linker.lds [new file with mode: 0644]
tools/weever/loader.c [new file with mode: 0644]
tools/weever/mbi.h [new file with mode: 0644]
tools/weever/multiboot/Hakefile [new file with mode: 0644]
tools/weever/multiboot/build_data_files.sh [new file with mode: 0755]
tools/weever/multiboot/weever_multiboot.c [new file with mode: 0644]
tools/xeon_phi/build.sh [new file with mode: 0644]
tools/xeon_phi/mpss.patch [new file with mode: 0644]
trace_definitions/trace_defs.pleco
usr/acpi/acpi.c
usr/acpi/acpi_ec.c
usr/acpi/acpi_main.c
usr/acpi/acpi_service.c
usr/acpi/apic.c [deleted file]
usr/acpi/interrupts.c
usr/acpi/ioapic.h
usr/acpi/video.c
usr/ahcid/ahcid.c
usr/ahcid/ahcid.h
usr/angler/angler.c
usr/arrakismon/Hakefile [new file with mode: 0644]
usr/arrakismon/apic.c [new file with mode: 0644]
usr/arrakismon/apic.h [new file with mode: 0644]
usr/arrakismon/console.c [new file with mode: 0644]
usr/arrakismon/console.h [new file with mode: 0644]
usr/arrakismon/guest.c [new file with mode: 0644]
usr/arrakismon/guest.h [new file with mode: 0644]
usr/arrakismon/hdd.c [new file with mode: 0644]
usr/arrakismon/hdd.h [new file with mode: 0644]
usr/arrakismon/keyboard.c [new file with mode: 0644]
usr/arrakismon/keyboard.h [new file with mode: 0644]
usr/arrakismon/lpc.c [new file with mode: 0644]
usr/arrakismon/lpc.h [new file with mode: 0644]
usr/arrakismon/pc16550d.c [new file with mode: 0644]
usr/arrakismon/pc16550d.h [new file with mode: 0644]
usr/arrakismon/pci.c [new file with mode: 0644]
usr/arrakismon/pci.h [new file with mode: 0644]
usr/arrakismon/pci_devices.h [new file with mode: 0644]
usr/arrakismon/pci_host.c [new file with mode: 0644]
usr/arrakismon/pci_host.h [new file with mode: 0644]
usr/arrakismon/pci_hostbridge.c [new file with mode: 0644]
usr/arrakismon/ps.c [new file with mode: 0644]
usr/arrakismon/ps.h [new file with mode: 0644]
usr/arrakismon/realmode.c [new file with mode: 0644]
usr/arrakismon/realmode.h [new file with mode: 0644]
usr/arrakismon/svm.h [new file with mode: 0644]
usr/arrakismon/vmkitmon.c [new file with mode: 0644]
usr/arrakismon/vmkitmon.h [new file with mode: 0644]
usr/arrakismon/x86.h [new file with mode: 0644]
usr/bcached/main.c
usr/bench/Hakefile
usr/bench/ahci/Hakefile
usr/bench/bench.c
usr/bench/bomp_benchmark/Hakefile [moved from usr/bomp_benchmark/Hakefile with 100% similarity]
usr/bench/bomp_benchmark/Makefile [moved from usr/bomp_benchmark/Makefile with 100% similarity]
usr/bench/bomp_benchmark/README [moved from usr/bomp_benchmark/README with 100% similarity]
usr/bench/bomp_benchmark/c_print_results.c [moved from usr/bomp_benchmark/c_print_results.c with 100% similarity]
usr/bench/bomp_benchmark/c_randdp.c [moved from usr/bomp_benchmark/c_randdp.c with 100% similarity]
usr/bench/bomp_benchmark/c_timers.c [moved from usr/bomp_benchmark/c_timers.c with 100% similarity]
usr/bench/bomp_benchmark/cg.c [new file with mode: 0644]
usr/bench/bomp_benchmark/ep.c [new file with mode: 0644]
usr/bench/bomp_benchmark/ft.c [new file with mode: 0644]
usr/bench/bomp_benchmark/global.h [moved from usr/bomp_benchmark/global.h with 100% similarity]
usr/bench/bomp_benchmark/is.c [new file with mode: 0644]
usr/bench/bomp_benchmark/lock_scalability.c [new file with mode: 0644]
usr/bench/bomp_benchmark/npb-C.h [moved from usr/bomp_benchmark/npb-C.h with 100% similarity]
usr/bench/bomp_benchmark/npbparams.h [moved from usr/bomp_benchmark/npbparams.h with 100% similarity]
usr/bench/bomp_benchmark/run-benchmark.sh [moved from usr/bomp_benchmark/run-benchmark.sh with 100% similarity]
usr/bench/bomp_benchmark/scalability.c [new file with mode: 0644]
usr/bench/bomp_benchmark/wtime.c [moved from usr/bomp_benchmark/wtime.c with 100% similarity]
usr/bench/bomp_benchmark/wtime.h [moved from usr/bomp_benchmark/wtime.h with 100% similarity]
usr/bench/bomp_mm/Hakefile [new file with mode: 0644]
usr/bench/bomp_mm/mm.c [new file with mode: 0644]
usr/bench/bomp_progress/cpu_bound.c
usr/bench/bomp_progress/sync.c
usr/bench/bulk_transfer/Hakefile [new file with mode: 0644]
usr/bench/bulk_transfer/common.c [new file with mode: 0644]
usr/bench/bulk_transfer/common.h [new file with mode: 0644]
usr/bench/bulk_transfer/micro_echo.c [new file with mode: 0644]
usr/bench/bulk_transfer/micro_rtt.c [new file with mode: 0644]
usr/bench/bulk_transfer/micro_throughput.c [new file with mode: 0644]
usr/bench/dma/Hakefile [new file with mode: 0644]
usr/bench/dma/dma_bench.c [new file with mode: 0644]
usr/bench/loopy/Hakefile [new file with mode: 0644]
usr/bench/loopy/loopy.c [new file with mode: 0644]
usr/bench/loopy/loopy_driver.c [new file with mode: 0644]
usr/bench/mdb_bench/mdb_bench.h
usr/bench/mem_bench/Hakefile
usr/bench/mem_bench/membench.c
usr/bench/mem_bench/memeasy.c [new file with mode: 0644]
usr/bench/mem_latency/Hakefile [new file with mode: 0644]
usr/bench/mem_latency/memlatency.c [new file with mode: 0644]
usr/bench/net_latency/elb/Hakefile
usr/bench/net_latency/main.c
usr/bench/rcce/bt/Hakefile [moved from usr/rcce/bt/Hakefile with 100% similarity]
usr/bench/rcce/bt/add.c [moved from usr/rcce/bt/add.c with 100% similarity]
usr/bench/rcce/bt/adi.c [moved from usr/rcce/bt/adi.c with 100% similarity]
usr/bench/rcce/bt/applu_macros.h [moved from usr/rcce/bt/applu_macros.h with 100% similarity]
usr/bench/rcce/bt/applu_protos.h [moved from usr/rcce/bt/applu_protos.h with 100% similarity]
usr/bench/rcce/bt/applu_share.h [moved from usr/rcce/bt/applu_share.h with 100% similarity]
usr/bench/rcce/bt/bt.c [moved from usr/rcce/bt/bt.c with 100% similarity]
usr/bench/rcce/bt/common.h [moved from usr/rcce/bt/common.h with 100% similarity]
usr/bench/rcce/bt/copy_faces.c [moved from usr/rcce/bt/copy_faces.c with 100% similarity]
usr/bench/rcce/bt/define.c [moved from usr/rcce/bt/define.c with 100% similarity]
usr/bench/rcce/bt/error.c [moved from usr/rcce/bt/error.c with 100% similarity]
usr/bench/rcce/bt/exact_rhs.c [moved from usr/rcce/bt/exact_rhs.c with 100% similarity]
usr/bench/rcce/bt/exact_solution.c [moved from usr/rcce/bt/exact_solution.c with 100% similarity]
usr/bench/rcce/bt/header.h [moved from usr/rcce/bt/header.h with 100% similarity]
usr/bench/rcce/bt/initialize.c [moved from usr/rcce/bt/initialize.c with 100% similarity]
usr/bench/rcce/bt/inputbt.data.sample [moved from usr/rcce/bt/inputbt.data.sample with 100% similarity]
usr/bench/rcce/bt/make_set.c [moved from usr/rcce/bt/make_set.c with 100% similarity]
usr/bench/rcce/bt/mpinpb.h [moved from usr/rcce/bt/mpinpb.h with 100% similarity]
usr/bench/rcce/bt/npbparams.h [moved from usr/rcce/bt/npbparams.h with 100% similarity]
usr/bench/rcce/bt/npbparams.h.A.1 [moved from usr/rcce/bt/npbparams.h.A.1 with 100% similarity]
usr/bench/rcce/bt/npbparams.h.A.16 [moved from usr/rcce/bt/npbparams.h.A.16 with 100% similarity]
usr/bench/rcce/bt/npbparams.h.A.25 [moved from usr/rcce/bt/npbparams.h.A.25 with 100% similarity]
usr/bench/rcce/bt/npbparams.h.A.36 [moved from usr/rcce/bt/npbparams.h.A.36 with 100% similarity]
usr/bench/rcce/bt/npbparams.h.A.4 [moved from usr/rcce/bt/npbparams.h.A.4 with 100% similarity]
usr/bench/rcce/bt/npbparams.h.A.9 [moved from usr/rcce/bt/npbparams.h.A.9 with 100% similarity]
usr/bench/rcce/bt/npbparams.h.S.1 [moved from usr/rcce/bt/npbparams.h.S.1 with 100% similarity]
usr/bench/rcce/bt/npbparams.h.S.16 [moved from usr/rcce/bt/npbparams.h.S.16 with 100% similarity]
usr/bench/rcce/bt/npbparams.h.S.4 [moved from usr/rcce/bt/npbparams.h.S.4 with 100% similarity]
usr/bench/rcce/bt/npbparams.h.S.9 [moved from usr/rcce/bt/npbparams.h.S.9 with 100% similarity]
usr/bench/rcce/bt/print_results.c [moved from usr/rcce/bt/print_results.c with 100% similarity]
usr/bench/rcce/bt/rhs.c [moved from usr/rcce/bt/rhs.c with 100% similarity]
usr/bench/rcce/bt/set_constants.c [moved from usr/rcce/bt/set_constants.c with 100% similarity]
usr/bench/rcce/bt/setup_mpi.c [moved from usr/rcce/bt/setup_mpi.c with 100% similarity]
usr/bench/rcce/bt/solve_subs.c [moved from usr/rcce/bt/solve_subs.c with 100% similarity]
usr/bench/rcce/bt/timers.c [moved from usr/rcce/bt/timers.c with 100% similarity]
usr/bench/rcce/bt/timers.h [moved from usr/rcce/bt/timers.h with 100% similarity]
usr/bench/rcce/bt/verify.c [moved from usr/rcce/bt/verify.c with 100% similarity]
usr/bench/rcce/bt/work_lhs.h [moved from usr/rcce/bt/work_lhs.h with 100% similarity]
usr/bench/rcce/bt/x_solve.c [moved from usr/rcce/bt/x_solve.c with 100% similarity]
usr/bench/rcce/bt/y_solve.c [moved from usr/rcce/bt/y_solve.c with 100% similarity]
usr/bench/rcce/bt/z_solve.c [moved from usr/rcce/bt/z_solve.c with 100% similarity]
usr/bench/rcce/ipi_test/Hakefile [moved from usr/rcce/ipi_test/Hakefile with 100% similarity]
usr/bench/rcce/ipi_test/mainrc.c [new file with mode: 0644]
usr/bench/rcce/lu/Hakefile [moved from usr/rcce/lu/Hakefile with 100% similarity]
usr/bench/rcce/lu/applu.h [moved from usr/rcce/lu/applu.h with 100% similarity]
usr/bench/rcce/lu/applu_macros.h [moved from usr/rcce/lu/applu_macros.h with 100% similarity]
usr/bench/rcce/lu/applu_protos.h [moved from usr/rcce/lu/applu_protos.h with 100% similarity]
usr/bench/rcce/lu/applu_share.h [moved from usr/rcce/lu/applu_share.h with 100% similarity]
usr/bench/rcce/lu/blts.c [moved from usr/rcce/lu/blts.c with 100% similarity]
usr/bench/rcce/lu/buts.c [moved from usr/rcce/lu/buts.c with 100% similarity]
usr/bench/rcce/lu/directions.h [moved from usr/rcce/lu/directions.h with 100% similarity]
usr/bench/rcce/lu/erhs.c [moved from usr/rcce/lu/erhs.c with 100% similarity]
usr/bench/rcce/lu/error.c [moved from usr/rcce/lu/error.c with 100% similarity]
usr/bench/rcce/lu/exact.c [moved from usr/rcce/lu/exact.c with 100% similarity]
usr/bench/rcce/lu/exchange_1.c [moved from usr/rcce/lu/exchange_1.c with 100% similarity]
usr/bench/rcce/lu/exchange_3.c [moved from usr/rcce/lu/exchange_3.c with 100% similarity]
usr/bench/rcce/lu/exchange_4.c [moved from usr/rcce/lu/exchange_4.c with 100% similarity]
usr/bench/rcce/lu/exchange_5.c [moved from usr/rcce/lu/exchange_5.c with 100% similarity]
usr/bench/rcce/lu/exchange_6.c [moved from usr/rcce/lu/exchange_6.c with 100% similarity]
usr/bench/rcce/lu/init_comm.c [moved from usr/rcce/lu/init_comm.c with 100% similarity]
usr/bench/rcce/lu/jacld.c [moved from usr/rcce/lu/jacld.c with 100% similarity]
usr/bench/rcce/lu/jacu.c [moved from usr/rcce/lu/jacu.c with 100% similarity]
usr/bench/rcce/lu/l2norm.c [moved from usr/rcce/lu/l2norm.c with 100% similarity]
usr/bench/rcce/lu/lu.c [new file with mode: 0644]
usr/bench/rcce/lu/neighbors.c [moved from usr/rcce/lu/neighbors.c with 100% similarity]
usr/bench/rcce/lu/nodedim.c [moved from usr/rcce/lu/nodedim.c with 100% similarity]
usr/bench/rcce/lu/npbparams.h [moved from usr/rcce/lu/npbparams.h with 100% similarity]
usr/bench/rcce/lu/npbparams.h.A.1 [moved from usr/rcce/lu/npbparams.h.A.1 with 100% similarity]
usr/bench/rcce/lu/npbparams.h.A.16 [moved from usr/rcce/lu/npbparams.h.A.16 with 100% similarity]
usr/bench/rcce/lu/npbparams.h.A.2 [moved from usr/rcce/lu/npbparams.h.A.2 with 100% similarity]
usr/bench/rcce/lu/npbparams.h.A.32 [moved from usr/rcce/lu/npbparams.h.A.32 with 100% similarity]
usr/bench/rcce/lu/npbparams.h.A.4 [moved from usr/rcce/lu/npbparams.h.A.4 with 100% similarity]
usr/bench/rcce/lu/npbparams.h.A.64 [moved from usr/rcce/lu/npbparams.h.A.64 with 100% similarity]
usr/bench/rcce/lu/npbparams.h.A.8 [moved from usr/rcce/lu/npbparams.h.A.8 with 100% similarity]
usr/bench/rcce/lu/npbparams.h.S.1 [moved from usr/rcce/lu/npbparams.h.S.1 with 100% similarity]
usr/bench/rcce/lu/npbparams.h.S.16 [moved from usr/rcce/lu/npbparams.h.S.16 with 100% similarity]
usr/bench/rcce/lu/npbparams.h.S.2 [moved from usr/rcce/lu/npbparams.h.S.2 with 100% similarity]
usr/bench/rcce/lu/npbparams.h.S.32 [moved from usr/rcce/lu/npbparams.h.S.32 with 100% similarity]
usr/bench/rcce/lu/npbparams.h.S.4 [moved from usr/rcce/lu/npbparams.h.S.4 with 100% similarity]
usr/bench/rcce/lu/npbparams.h.S.8 [moved from usr/rcce/lu/npbparams.h.S.8 with 100% similarity]
usr/bench/rcce/lu/pintgr.c [moved from usr/rcce/lu/pintgr.c with 100% similarity]
usr/bench/rcce/lu/print_results.c [moved from usr/rcce/lu/print_results.c with 100% similarity]
usr/bench/rcce/lu/proc_grid.c [moved from usr/rcce/lu/proc_grid.c with 100% similarity]
usr/bench/rcce/lu/read_input.c [moved from usr/rcce/lu/read_input.c with 100% similarity]
usr/bench/rcce/lu/rhs.c [moved from usr/rcce/lu/rhs.c with 100% similarity]
usr/bench/rcce/lu/setbv.c [moved from usr/rcce/lu/setbv.c with 100% similarity]
usr/bench/rcce/lu/setcoeff.c [moved from usr/rcce/lu/setcoeff.c with 100% similarity]
usr/bench/rcce/lu/setiv.c [moved from usr/rcce/lu/setiv.c with 100% similarity]
usr/bench/rcce/lu/ssor.c [moved from usr/rcce/lu/ssor.c with 100% similarity]
usr/bench/rcce/lu/subdomain.c [moved from usr/rcce/lu/subdomain.c with 100% similarity]
usr/bench/rcce/lu/timers.c [moved from usr/rcce/lu/timers.c with 100% similarity]
usr/bench/rcce/lu/timers.h [moved from usr/rcce/lu/timers.h with 100% similarity]
usr/bench/rcce/lu/verify.c [moved from usr/rcce/lu/verify.c with 100% similarity]
usr/bench/rcce/pingpong/Hakefile [moved from usr/rcce/pingpong/Hakefile with 100% similarity]
usr/bench/rcce/pingpong/RCCE_pingpong.c [moved from usr/rcce/pingpong/RCCE_pingpong.c with 100% similarity]
usr/bench/scheduling/clockdrift.c
usr/bench/scheduling/phases.c
usr/bench/scheduling/phases_scale.c
usr/bench/shared_mem_clock/bench.c
usr/bench/udp_echo/Hakefile [new file with mode: 0644]
usr/bench/udp_echo/Makefile [new file with mode: 0644]
usr/bench/udp_echo/run_multiloop.sh [new file with mode: 0644]
usr/bench/udp_echo/udp_echo.c [new file with mode: 0644]
usr/bench/udp_echo/udp_openloop.c [new file with mode: 0644]
usr/bench/ump_bench/exchange.c
usr/bench/ump_bench/main.c
usr/bench/vspace/Hakefile [new file with mode: 0644]
usr/bench/vspace/vspace_map_bench.c [new file with mode: 0644]
usr/bench/xcorecap/xcorecapbench.c
usr/bench/xeon_phi_ump/Hakefile [new file with mode: 0644]
usr/bench/xeon_phi_ump/benchmark.c [new file with mode: 0644]
usr/bench/xeon_phi_ump/benchmark.h [new file with mode: 0644]
usr/bench/xeon_phi_ump/common.c [new file with mode: 0644]
usr/bench/xeon_phi_ump/common.h [new file with mode: 0644]
usr/bench/xeon_phi_ump/main_card.c [new file with mode: 0644]
usr/bench/xeon_phi_ump/main_host.c [new file with mode: 0644]
usr/bench/xeon_phi_ump/main_inter_card.c [new file with mode: 0644]
usr/bench/xeon_phi_ump/main_inter_host.c [new file with mode: 0644]
usr/bench/xomp_bench/Hakefile [new file with mode: 0644]
usr/bench/xomp_bench/common.c [new file with mode: 0644]
usr/bench/xomp_bench/share_bench.c [new file with mode: 0644]
usr/bench/xomp_bench/spawn_bench.c [new file with mode: 0644]
usr/bench/xomp_bench/work_bench.c [new file with mode: 0644]
usr/bfscope/bfscope.c
usr/block_server/Hakefile [new file with mode: 0644]
usr/block_server/block_server.c [new file with mode: 0644]
usr/block_server/block_server.h [new file with mode: 0644]
usr/block_server/block_server_client.c [new file with mode: 0644]
usr/block_server/block_storage.c [new file with mode: 0644]
usr/block_server/block_storage.h [new file with mode: 0644]
usr/block_server/block_storage_cache.c [new file with mode: 0644]
usr/block_server/block_storage_cache.h [new file with mode: 0644]
usr/block_server/local_server.c [new file with mode: 0644]
usr/block_server/local_server.h [new file with mode: 0644]
usr/block_server/net_benchmark.c [new file with mode: 0644]
usr/block_server/network_client.c [new file with mode: 0644]
usr/block_server/network_client.h [new file with mode: 0644]
usr/block_server/network_common.h [new file with mode: 0644]
usr/block_server/network_server.c [new file with mode: 0644]
usr/block_server/network_server.h [new file with mode: 0644]
usr/block_server_user/Hakefile [new file with mode: 0644]
usr/block_server_user/benchmark.c [new file with mode: 0644]
usr/block_server_user/benchmark.h [new file with mode: 0644]
usr/block_server_user/bs_connector.c [new file with mode: 0644]
usr/block_server_user/bs_connector.h [new file with mode: 0644]
usr/block_server_user/bs_user.c [new file with mode: 0644]
usr/bomp_benchmark/cg.c [deleted file]
usr/bomp_benchmark/ep.c [deleted file]
usr/bomp_benchmark/ft.c [deleted file]
usr/bomp_benchmark/is.c [deleted file]
usr/bomp_benchmark/lock_scalability.c [deleted file]
usr/bomp_benchmark/scalability.c [deleted file]
usr/boot_perfmon/spawn.c
usr/bulk_transfer_passthrough/Hakefile [new file with mode: 0644]
usr/bulk_transfer_passthrough/passthrough.c [new file with mode: 0644]
usr/device_managers/dma/Hakefile [new file with mode: 0644]
usr/device_managers/dma/debug.h [new file with mode: 0644]
usr/device_managers/dma/dma_mgr.c [new file with mode: 0644]
usr/device_managers/dma/dma_mgr.h [new file with mode: 0644]
usr/device_managers/dma/dma_mgr_drivers.c [new file with mode: 0644]
usr/device_managers/dma/dma_mgr_svc.c [new file with mode: 0644]
usr/device_managers/xeon_phi/Hakefile [new file with mode: 0644]
usr/device_managers/xeon_phi/cardmanager.c [new file with mode: 0644]
usr/device_managers/xeon_phi/cardmanager.h [new file with mode: 0644]
usr/device_managers/xeon_phi/main.c [new file with mode: 0644]
usr/device_managers/xeon_phi/service.c [new file with mode: 0644]
usr/device_managers/xeon_phi/service.h [new file with mode: 0644]
usr/drivers/cpuboot/Hakefile [new file with mode: 0644]
usr/drivers/cpuboot/armboot.c [new file with mode: 0644]
usr/drivers/cpuboot/common.c [new file with mode: 0644]
usr/drivers/cpuboot/coreboot.h [new file with mode: 0644]
usr/drivers/cpuboot/init_ap_x86_32.S [moved from kernel/arch/x86/init_ap_x86_32.S with 100% similarity]
usr/drivers/cpuboot/init_ap_x86_64.S [new file with mode: 0644]
usr/drivers/cpuboot/main.c [new file with mode: 0644]
usr/drivers/cpuboot/x86boot.c [new file with mode: 0644]
usr/drivers/e1000/Hakefile
usr/drivers/e1000/e1000n.c
usr/drivers/e1000/e1000n.h
usr/drivers/e1000/e1000n_debug.c [deleted file]
usr/drivers/e1000/e1000n_debug.h
usr/drivers/e1000/e1000n_helpers.c
usr/drivers/e1000/e1000n_hwinit.c
usr/drivers/e10k/Hakefile
usr/drivers/e10k/e10k.c [deleted file]
usr/drivers/e10k/e10k.h
usr/drivers/e10k/e10k_cdriver.c
usr/drivers/e10k/e10k_qdriver.c
usr/drivers/e10k/e10k_queue.h
usr/drivers/e10k/e10k_vf.c [new file with mode: 0644]
usr/drivers/e10k/sleep.h
usr/drivers/eMAC/eMAC_driver.h
usr/drivers/eMAC/eMAC_hwinit.c
usr/drivers/ioat_dma/Hakefile [new file with mode: 0644]
usr/drivers/ioat_dma/debug.h [new file with mode: 0644]
usr/drivers/ioat_dma/device.c [new file with mode: 0644]
usr/drivers/ioat_dma/device.h [new file with mode: 0644]
usr/drivers/ioat_dma/dma_service.c [new file with mode: 0644]
usr/drivers/ioat_dma/dma_service.h [new file with mode: 0644]
usr/drivers/ioat_dma/ioat_mgr_service.c [new file with mode: 0644]
usr/drivers/ioat_dma/ioat_mgr_service.h [new file with mode: 0644]
usr/drivers/ioat_dma/main.c [new file with mode: 0644]
usr/drivers/lpc_timer/timer.c
usr/drivers/rtc/main.c
usr/drivers/serial/serial.c
usr/drivers/sif/sif.c
usr/drivers/solarflair/Hakefile
usr/drivers/tulip/main.c
usr/drivers/usb/usb_manager/controller/ehci/usb_ehci.c
usr/drivers/usb/usb_manager/controller/ehci/usb_ehci_memory.c
usr/drivers/usb/usb_manager/controller/ehci/usb_ehci_root_hub.c
usr/drivers/usb/usb_manager/controller/ohci/usb_ohci.c
usr/drivers/usb/usb_manager/hub/usb_hub.c
usr/drivers/usb/usb_manager/hub/usb_hub_request.c
usr/drivers/usb/usb_manager/usb_device.c
usr/drivers/usb/usb_manager/usb_manager.c
usr/drivers/usb/usb_manager/usb_request.c
usr/drivers/usb/usb_manager/usb_transfer.c
usr/drivers/virtio/block/Hakefile [new file with mode: 0644]
usr/drivers/virtio/block/debug.h [new file with mode: 0644]
usr/drivers/virtio/block/device.c [new file with mode: 0644]
usr/drivers/virtio/block/device.h [new file with mode: 0644]
usr/drivers/virtio/block/host.c [new file with mode: 0644]
usr/drivers/virtio/block/host.h [new file with mode: 0644]
usr/drivers/virtio/block/main_guest.c [new file with mode: 0644]
usr/drivers/virtio/block/main_host.c [new file with mode: 0644]
usr/drivers/virtio/block/request.c [new file with mode: 0644]
usr/drivers/virtio/block/request.h [new file with mode: 0644]
usr/drivers/virtio/block/service.c [new file with mode: 0644]
usr/drivers/virtio/block/service.h [new file with mode: 0644]
usr/drivers/virtio/console/Hakefile [new file with mode: 0644]
usr/drivers/virtio/console/main_guest.c [new file with mode: 0644]
usr/drivers/virtio/console/main_host.c [new file with mode: 0644]
usr/drivers/virtio/net/Hakefile [new file with mode: 0644]
usr/drivers/virtio/net/main_guest.c [new file with mode: 0644]
usr/drivers/virtio/net/main_host.c [new file with mode: 0644]
usr/drivers/xeon_phi/Hakefile [new file with mode: 0644]
usr/drivers/xeon_phi/boot.c [new file with mode: 0644]
usr/drivers/xeon_phi/debug.h [new file with mode: 0644]
usr/drivers/xeon_phi/dma_service.c [new file with mode: 0644]
usr/drivers/xeon_phi/dma_service.h [new file with mode: 0644]
usr/drivers/xeon_phi/domain.c [new file with mode: 0644]
usr/drivers/xeon_phi/domain.h [new file with mode: 0644]
usr/drivers/xeon_phi/interphi.c [new file with mode: 0644]
usr/drivers/xeon_phi/interphi.h [new file with mode: 0644]
usr/drivers/xeon_phi/interrupts.c [new file with mode: 0644]
usr/drivers/xeon_phi/interrupts.h [new file with mode: 0644]
usr/drivers/xeon_phi/main_card.c [new file with mode: 0644]
usr/drivers/xeon_phi/main_host.c [new file with mode: 0644]
usr/drivers/xeon_phi/serial.c [new file with mode: 0644]
usr/drivers/xeon_phi/service.c [new file with mode: 0644]
usr/drivers/xeon_phi/service.h [new file with mode: 0644]
usr/drivers/xeon_phi/sleep.c [new file with mode: 0644]
usr/drivers/xeon_phi/sleep.h [new file with mode: 0644]
usr/drivers/xeon_phi/smpt.c [new file with mode: 0644]
usr/drivers/xeon_phi/smpt.h [new file with mode: 0644]
usr/drivers/xeon_phi/sysmem_caps.c [new file with mode: 0644]
usr/drivers/xeon_phi/sysmem_caps.h [new file with mode: 0644]
usr/drivers/xeon_phi/xeon_phi.c [new file with mode: 0644]
usr/drivers/xeon_phi/xeon_phi_internal.h [new file with mode: 0644]
usr/drivers/xeon_phi/xphi_service.c [new file with mode: 0644]
usr/drivers/xeon_phi/xphi_service.h [new file with mode: 0644]
usr/examples/xmpl-cow/Hakefile [new file with mode: 0644]
usr/examples/xmpl-cow/main.c [new file with mode: 0644]
usr/examples/xmpl-span/span.c
usr/examples/xmpl-thc-binding/thc-binding.c
usr/examples/xmpl-thread/thread.c
usr/examples/xmpl-trace/trace.c
usr/fish/Hakefile
usr/fish/fish.c [deleted file]
usr/fish/fish.h [new file with mode: 0644]
usr/fish/fish_arm.c
usr/fish/fish_common.c [new file with mode: 0644]
usr/fish/fish_x86.c [new file with mode: 0644]
usr/init/init.c
usr/init/mem_alloc.c
usr/init/spawn.c
usr/init_null/Hakefile [deleted file]
usr/init_null/init_null.c [deleted file]
usr/kaluga/Hakefile
usr/kaluga/boot_modules.c
usr/kaluga/boot_modules.h
usr/kaluga/common.c [deleted file]
usr/kaluga/driver_startup.c
usr/kaluga/kaluga.h
usr/kaluga/main.c
usr/kaluga/omap_startup.c
usr/kaluga/start_cpu.c
usr/kaluga/start_cpu.h
usr/kaluga/start_pci.c
usr/mem_serv/mem_serv.c
usr/mem_serv_dist/mem_serv.c
usr/mem_serv_dist/mem_serv.h
usr/mem_serv_dist/sleep.h
usr/monitor/Hakefile
usr/monitor/arch/arm/boot.c
usr/monitor/arch/armv7/boot.c
usr/monitor/arch/x86/boot.c
usr/monitor/arch/x86/inter.c
usr/monitor/arch/x86/notify_ipi.c
usr/monitor/boot.c
usr/monitor/capops/caplock.c [new file with mode: 0644]
usr/monitor/capops/capqueue.c [new file with mode: 0644]
usr/monitor/capops/capsend.c [new file with mode: 0644]
usr/monitor/capops/copy.c [new file with mode: 0644]
usr/monitor/capops/delete.c [new file with mode: 0644]
usr/monitor/capops/delete_int.h [new file with mode: 0644]
usr/monitor/capops/deletestep.c [new file with mode: 0644]
usr/monitor/capops/init.c [new file with mode: 0644]
usr/monitor/capops/internal.c [new file with mode: 0644]
usr/monitor/capops/internal.h [new file with mode: 0644]
usr/monitor/capops/magic.c [new file with mode: 0644]
usr/monitor/capops/magic.h [new file with mode: 0644]
usr/monitor/capops/move.c [new file with mode: 0644]
usr/monitor/capops/retrieve.c [new file with mode: 0644]
usr/monitor/capops/retype.c [new file with mode: 0644]
usr/monitor/capops/revoke.c [new file with mode: 0644]
usr/monitor/domain.c
usr/monitor/include/arch/arm/monitor_invocations.h [deleted file]
usr/monitor/include/arch/arm/monitor_invocations_arch.h [new file with mode: 0644]
usr/monitor/include/arch/k1om/monitor_invocations_arch.h [new file with mode: 0644]
usr/monitor/include/arch/x86_32/monitor_invocations.h [deleted file]
usr/monitor/include/arch/x86_32/monitor_invocations_arch.h [new file with mode: 0644]
usr/monitor/include/arch/x86_64/monitor_invocations.h [deleted file]
usr/monitor/include/arch/x86_64/monitor_invocations_arch.h [new file with mode: 0644]
usr/monitor/include/caplock.h [new file with mode: 0644]
usr/monitor/include/capops.h [new file with mode: 0644]
usr/monitor/include/capqueue.h [new file with mode: 0644]
usr/monitor/include/capsend.h [new file with mode: 0644]
usr/monitor/include/connection.h [moved from usr/monitor/connection.h with 100% similarity]
usr/monitor/include/dom_invocations.h [new file with mode: 0644]
usr/monitor/include/domcap.h [new file with mode: 0644]
usr/monitor/include/monitor.h [new file with mode: 0644]
usr/monitor/include/monitor_debug.h [new file with mode: 0644]
usr/monitor/include/monitor_invocations.h [new file with mode: 0644]
usr/monitor/include/monitor_server.h [new file with mode: 0644]
usr/monitor/include/queue.h [new file with mode: 0644]
usr/monitor/include/ram_alloc.h [new file with mode: 0644]
usr/monitor/include/send_cap.h [new file with mode: 0644]
usr/monitor/include/spawn.h [new file with mode: 0644]
usr/monitor/inter.c
usr/monitor/intermon_bindings.c
usr/monitor/invocations.c
usr/monitor/main.c
usr/monitor/monitor.h [deleted file]
usr/monitor/monitor_rpc_server.c
usr/monitor/monitor_server.c
usr/monitor/multihop_support.c
usr/monitor/queue.c
usr/monitor/queue.h [deleted file]
usr/monitor/ram_alloc.c
usr/monitor/rcap_db_central.c [deleted file]
usr/monitor/rcap_db_common.c [deleted file]
usr/monitor/rcap_db_common.h [deleted file]
usr/monitor/rcap_db_null.c [deleted file]
usr/monitor/rcap_db_twopc.c [deleted file]
usr/monitor/resource_ctrl.c
usr/monitor/send_cap.c [new file with mode: 0644]
usr/monitor/spawn.c
usr/monitor/ump_support.c
usr/net-test/Hakefile [deleted file]
usr/net-test/net-test.c [deleted file]
usr/netd/ARP_lookup_service.c
usr/openssh/config.h
usr/openssh/mkcpio
usr/openssh/src/session.c
usr/pci/Hakefile
usr/pci/ht_config.c
usr/pci/memsweep.c [deleted file]
usr/pci/pci.c
usr/pci/pci.h
usr/pci/pci_msix.c
usr/pci/pci_service.c
usr/pci/pcie.c
usr/pci/pcimain.c
usr/periodicprint/Hakefile [new file with mode: 0644]
usr/periodicprint/printperiodic.c [new file with mode: 0644]
usr/ramfsd/Hakefile
usr/ramfsd/main.c
usr/ramfsd/webserver_debug.h [new file with mode: 0644]
usr/ramfsd/webserver_network.h [new file with mode: 0644]
usr/ramfsd/webserver_session.h [new file with mode: 0644]
usr/rcce/ipi_test/mainrc.c [deleted file]
usr/rcce/lu/lu.c [deleted file]
usr/replay/slave.c
usr/skb/Hakefile
usr/skb/eclipse_kernel/src/config.h
usr/skb/eclipse_kernel/src/lex.c
usr/skb/icparc_solver/eregex.c
usr/skb/include/skb_server.h
usr/skb/measurement/Hakefile
usr/skb/measurement/cpuid.c
usr/skb/measurement/datagatherer.c
usr/skb/measurement/datagatherer.h
usr/skb/measurement/running_cores.c [deleted file]
usr/skb/programs/bridge_bios.pl [new file with mode: 0644]
usr/skb/programs/bridge_fake_babybel.pl [new file with mode: 0644]
usr/skb/programs/bridge_fake_bigfish.pl [new file with mode: 0644]
usr/skb/programs/device_db.pl
usr/skb/programs/queries.pl
usr/skb/skb_simple/Hakefile
usr/skb/skb_simple/octopus_stubs.c
usr/skb/skripts/mkcpio
usr/skb/testapps/threadalloc.c
usr/slideshow/Hakefile
usr/spawnd/Hakefile
usr/spawnd/bsp_bootup.c [deleted file]
usr/spawnd/internal.h
usr/spawnd/main.c
usr/spawnd/service.c
usr/startd/Hakefile
usr/startd/internal.h
usr/startd/main.c
usr/startd/spawn.c
usr/tests/bomptest/Hakefile
usr/tests/bomptest/cpu_bound.c
usr/tests/bomptest/progress-new.c
usr/tests/bomptest/progress.c
usr/tests/bomptest/sync.c
usr/tests/bomptest/sync_progress.c
usr/tests/bomptest/test.c
usr/tests/bulk_transfer/Hakefile [new file with mode: 0644]
usr/tests/bulk_transfer/bulk_mini.c [new file with mode: 0644]
usr/tests/bulk_transfer/bulk_netproxy.c [new file with mode: 0644]
usr/tests/bulk_transfer/bulk_shm.c [new file with mode: 0644]
usr/tests/bulk_transfer/sleep.c [new file with mode: 0644]
usr/tests/bulk_transfer/sleep.h [new file with mode: 0644]
usr/tests/cxx/Hakefile
usr/tests/cxx/cxx11.cpp [new file with mode: 0644]
usr/tests/cxx/cxxtest.hpp [new file with mode: 0644]
usr/tests/cxx/stl_algorithms.cpp [new file with mode: 0644]
usr/tests/cxx/stl_chrono.cpp [new file with mode: 0644]
usr/tests/cxx/stl_exceptions.cpp [new file with mode: 0644]
usr/tests/cxx/stl_inheritance.cpp [new file with mode: 0644]
usr/tests/cxx/stl_io.cpp [new file with mode: 0644]
usr/tests/cxx/stl_list.cpp [new file with mode: 0644]
usr/tests/cxx/stl_map.cpp [new file with mode: 0644]
usr/tests/cxx/stl_templates.cpp [new file with mode: 0644]
usr/tests/cxx/stl_threads.cpp [new file with mode: 0644]
usr/tests/cxx/stl_vector.cpp [new file with mode: 0644]
usr/tests/cxx/test.cpp
usr/tests/cxx/test_inc_barrelfish.cpp [new file with mode: 0644]
usr/tests/dma_test/Hakefile [new file with mode: 0644]
usr/tests/dma_test/dma_test.c [new file with mode: 0644]
usr/tests/e10ktest/Hakefile [new file with mode: 0644]
usr/tests/e10ktest/e10k_ctrl.c [new file with mode: 0644]
usr/tests/e10ktest/e10ktest.c [new file with mode: 0644]
usr/tests/e10ktest/e10ktest_latencies.c [new file with mode: 0644]
usr/tests/filetests/Hakefile
usr/tests/filetests/fat_test.c
usr/tests/flounderbootstrap/Hakefile [new file with mode: 0644]
usr/tests/flounderbootstrap/flounderbootstrap.c [new file with mode: 0644]
usr/tests/fputest/fputest.c
usr/tests/hellotest/Hakefile
usr/tests/hellotest/hellotest.c
usr/tests/lua/Hakefile [new file with mode: 0644]
usr/tests/lua/luatest.c [new file with mode: 0644]
usr/tests/mdbtests/Hakefile
usr/tests/mdbtests/test_addr_zero.c
usr/tests/mdbtests/test_ops_with_root.c [new file with mode: 0644]
usr/tests/mdbtests/test_range_query.c
usr/tests/net-test/Hakefile [new file with mode: 0644]
usr/tests/net-test/net-test.c [new file with mode: 0644]
usr/tests/net_tests/nfs_throughput/Hakefile
usr/tests/nkm/modify_flags.c
usr/tests/numa/Hakefile [new file with mode: 0644]
usr/tests/numa/numatest.c [new file with mode: 0644]
usr/tests/octopus/d2bench.c
usr/tests/octopus/d2bench1.c
usr/tests/octopus/d2bench2.c
usr/tests/octopus/d2trigger.c
usr/tests/perfmontest/Hakefile
usr/tests/perfmontest/spin.c [new file with mode: 0644]
usr/tests/phoenix_tests/Hakefile [moved from usr/phoenix_tests/Hakefile with 100% similarity]
usr/tests/phoenix_tests/kmeans.c [moved from usr/phoenix_tests/kmeans.c with 100% similarity]
usr/tests/posix/Hakefile [new file with mode: 0644]
usr/tests/posix/socket_pipe.c [new file with mode: 0644]
usr/tests/posixcompat/Hakefile [new file with mode: 0644]
usr/tests/posixcompat/fdinherit.c [new file with mode: 0644]
usr/tests/semaphores/semtest.c
usr/tests/spantest/Hakefile
usr/tests/spantest/spantest.c
usr/tests/spantest/xcorejoin.c [new file with mode: 0644]
usr/tests/terminalio/pty-test.c
usr/tests/testdesc/Hakefile
usr/tests/testdesc/testdesc-child.c
usr/tests/testdesc/testdesc.c
usr/tests/thcidctest/Hakefile
usr/tests/wakeuptests/Hakefile [new file with mode: 0644]
usr/tests/wakeuptests/wakeuptest.c [new file with mode: 0644]
usr/tests/xcorecaps/Hakefile
usr/tests/xcorecaps/xcorecap.c
usr/tests/xcorecaps/xcorecapserv.c
usr/tests/xeon_phi_test/Hakefile [new file with mode: 0644]
usr/tests/xeon_phi_test/benchmark.c [new file with mode: 0644]
usr/tests/xeon_phi_test/benchmark.h [new file with mode: 0644]
usr/tests/xeon_phi_test/main_card.c [new file with mode: 0644]
usr/tests/xeon_phi_test/main_host.c [new file with mode: 0644]
usr/tests/xeon_phi_test/main_inter_card.c [new file with mode: 0644]
usr/tests/xeon_phi_test/main_inter_host.c [new file with mode: 0644]
usr/tests/xeon_phi_test/nameservice_test.c [new file with mode: 0644]
usr/tests/xomptest/Hakefile [new file with mode: 0644]
usr/tests/xomptest/bomp_main.c [new file with mode: 0644]
usr/tests/xomptest/main.c [new file with mode: 0644]
usr/tests/xomptest/main.cpp [new file with mode: 0644]
usr/tests/xomptest/processing.c [new file with mode: 0644]
usr/tests/xomptest/xomptest.h [new file with mode: 0644]
usr/tests/yield_test/yield_test.c
usr/tracectrl/Hakefile [new file with mode: 0644]
usr/tracectrl/tracectrl.c [new file with mode: 0644]
usr/vmkitmon/Hakefile
usr/vmkitmon/benchmark.c
usr/vmkitmon/guest.h
usr/vmkitmon/pc16550d.h
usr/vmkitmon/pci_ethernet.h
usr/vmkitmon/pci_host.c
usr/vmkitmon/pci_hostbridge.c
usr/vmkitmon/pci_vmkitmon_eth.h
usr/vmkitmon/svm.h

diff --git a/.gitignore b/.gitignore
new file mode 100644 (file)
index 0000000..d3545ff
--- /dev/null
@@ -0,0 +1,39 @@
+# vim swap files
+*.swp
+
+# ctags
+tags
+
+.settings
+/.dist-buildwrapper
+/build
+.cproject
+.project
+.arcconfig
+sftp-config.json
+
+/.metadata/
+/toolchain/
+*.pyc
+
+# Haskell and C intermediate files
+*.o
+*.hi
+*.hi-boot
+*.o-boot
+
+# ctags
+.tags_sorted_by_file
+.tags
+
+# Cscope
+cscope.out
+
+# Builds
+build*/
+
+# tup
+.tup
+bin/
+/Tuprules.lua
+/logs
diff --git a/.hgignore b/.hgignore
deleted file mode 100644 (file)
index 1638e08..0000000
--- a/.hgignore
+++ /dev/null
@@ -1,19 +0,0 @@
-syntax: glob
-
-*~
-*.pyc
-.emacs.desktop*
-.*.swp
-
-*.orig
-*.rej
-.project
-.cproject
-.metadata
-
-syntax: regexp
-
-^build.*
-# XXX: msvc build files, not integrated into build system
-^tools/demo/Aquarium/obj
-^tools/demo/Aquarium/.*\.(sln|suo)
diff --git a/.hgtags b/.hgtags
deleted file mode 100644 (file)
index 2aacf66..0000000
--- a/.hgtags
+++ /dev/null
@@ -1,23 +0,0 @@
-4a4b7bef6fcb4d7bc02bbe9ae975421abbd761e3 release2011-09-02
-256f62218262cc6ba1d4777289a9fc3b6f7adfc7 release2011-11-10
-c29510eb719f5be8a321523e3e6d43475798803c release2012-01-30
-44742f3e7a3c2359b38b83d88c942e22c8e7c249 release2012-02-08
-4313caef0c80f83214156295e06f6531a154a0e4 release2012-03-02
-4eb871b69fe06d3a8304da60076e53be47da1b14 release2012-05-25
-970955217e4500563dae1988af5daac9633c3757 release2012-06-06
-923c4612225c7c390e51a6588d2c2b2d9569e018 release2012-07-02
-25423460b41313a02827be05f4ea879b0ff5d6f4 release2012-07-18
-795e212767c81d3821b6b094d37fc41b25530037 release2012-08-08
-6f1db768df81ea74e5e86e7431ac95d4984ab381 release2012-10-03
-91850d61e9fc89a27acc67576b816d64204987e7 release2012-11-03
-411cebe251b0da11cdd16a10a44f2b1db4143656 release2013-01-11
-571a75f9d7b42b673b2cf66eeb43762e8eb35bcb release2013-03-01
-f82a7cbc7224280b21df76032fa71ad52d903b4d release2013-03-22
-8896c5d7f193c3226de0b49437dcc017b8a1a452 release2013-04-26
-6c04dc8381893625efb0182d96c052dc02aee1ce release2013-06-07
-6ede9c44ceae41e57dd45a1d33425a0a0f1b2d9a release2013-08-16
-fd123180433a04902ce0396f8a82e1c13de075dc release2013-11-17
-0fff7701bbdec3ca5c5c464ff595fa034916b061 release2013-11-27
-eee2cae15d454f5b2dacd399e2d01f6cff08c8c4 release2013-12-13
-4a968af12e37b4617518e09224058e870b2cf6bc release2014-03-11
-f1c496d780c7da92403fca03bdd047ec481e1b5e release2014-05-22
diff --git a/README b/README
index 7ebef9a..05bc2d7 100644 (file)
--- a/README
+++ b/README
@@ -14,17 +14,15 @@ Barrelfish currently runs on:
 
  * x86 CPUs in either IA-32 or AMD64 mode. The following are known to work:
 
-   - Intel Xeon Clovertown, Gainestown, Beckton (X5355, E5520, X7560, L5520,
-     L7555)
-   - AMD Opteron Santa Rosa, Barcelona, Shanghai, Istanbul, Magny Cours
-     (2220, 8350, 8374, 8380, 8431, 6174)
-   - QEMU simulator
-
- * Intel Single-Chip Cloud Computer (SCC), both Copper Ridge and Rocky Lake
-   are known to work.
+   - Intel Xeon Clovertown, Gainestown, Beckton, IvyBridge, Haswell (X5355,
+     E5520, X7560, L5520, L7555, E5-2670v2, E3-1245v3)
+   - AMD Opteron Italy, Santa Rosa, Barcelona, Shanghai, Istanbul, Magny Cours
+     (275, 2220, 8350, 8374, 8380, 8431, 6174)
+   - QEMU simulator (2.0.0)
 
  * ARM CPUs, specifically ARMv7 and ARMv5. The following platforms are known to work:
 
+   - The integratorcp ARMv5 machine as simulated by QEM
    - The Texas Instruments OMAP4460 Pandaboard ES SoC
      (Barrelfish runs on both the A9 and the M3 cores)
    - The ARM VExpress EMM board as simulated by GEM5
@@ -48,10 +46,11 @@ Barrelfish supports following PC hardware :
 
  * x86 CPUs in either IA-32 or AMD64 mode. The following are known to work:
 
-   - Intel Xeon Clovertown, Gainestown, Beckton (X5355, E5520, X7560, L5520,
-     L7555)
-   - AMD Opteron Santa Rosa, Barcelona, Shanghai, Istanbul, Magny Cours
-     (2220, 8350, 8374, 8380, 8431, 6174)
+   - Intel Xeon Clovertown, Gainestown, Beckton, Ivy Bridge, Haswell (X5355,
+     E5520, X7560, L5520, L7555, E5-2670v2, E3-1245v3)
+   - AMD Opteron Italy, Santa Rosa, Barcelona, Shanghai, Istanbul, Magny Cours
+     (275, 2220, 8350, 8374, 8380, 8431, 6174)
+      * Note: the Opteron 275 do not work in IA-32 mode.
 
 The biggest compatibility problems are likely to be in the PCI/ACPI code. We
 usually discover new quirks (or missing functionality in the ACPI glue code)
@@ -76,27 +75,26 @@ note that the e1000 device emulated by QEMU is not supported by our driver.
 Required Tools
 --------------------------------
 
-The following are required to build Barrelfish and its tools:
-
- * GCC 4.x
+We are making sure that Barrelfish and its tools can be built using the
+following:
 
-   - 4.4.5, and 4.5.2 are known to work
-   - cross-compiling between i386 and x86_64 works (requires libc6-dev-i386
-     to build 32 bit on 64 bit machine)
-   - for the ARM port, we recommend the EABI tools available from CodeSourcery_.
- * GNU binutils (2.19 is known to work)
+ * GCC 4.8.2 for x86_64 and x86_32
+   - cross-compiling between i386 and x86_64 works (install gcc-multilib on 64 bit Ubuntu LTS)
+ * GCC 4.7.3 for ARMv5 and ARMv7
+   - gcc-arm-linux-gnueabi and g++-arm-linux-gnueabi on Ubuntu LTS
+ * GNU binutils (2.24 is known to work)
  * GNU make
- * GHC v7.4 and Parsec 3.1
-   - older versions of the tree supported v6.10 or v6.12.2 with Parsec 2.1
+ * GHC v7.6.3 and Parsec 3.1
+   - older versions of the tree supported v6.10 or v6.12.2 with Parsec 2.1 or
+     v7.4 with Parsec 3.1
    - GHC v6.12.1 has a known bug and is unable to build our tools
    - earlier versions of GHC are unsupported
 
-Our build system may not be very portable; if in doubt, try building on a
-recent Debian or Ubuntu system, as these are what we use.
+Our build system may not be very portable; if in doubt, try building on the
+latest Ubuntu LTS system (14.04.1), as this is what we use to run nightly
+tests.
 
 
-.. _CodeSourcery: http://www.codesourcery.com/sgpp/lite/arm
-
 Building
 --------------------------------
 
@@ -235,5 +233,46 @@ A: http://www.barrelfish.org/
    http://wiki.barrelfish.org/
 
 Q: Can I contribute?
-A: We'd certainly like to hear from you. Please send us mail.
+A: We'd certainly like to hear from you. Feel free to send pateches (or even
+   git merge requests) to the Barrelfish mailing list.
+
+   To keep track of contributions to Barrelfish, we use a sign-off procedure
+   similar to the Linux kernel:
+
+   The sign-off is a simple line at the end of the explanation for the patch,
+   which certifies that you wrote it or otherwise have the right to pass it on
+   as an open-source patch.  The rules are pretty simple: if you can certify
+   the below:
+
+        Developer's Certificate of Origin 1.1
+
+        By making a contribution to this project, I certify that:
+
+        (a) The contribution was created in whole or in part by me and I
+            have the right to submit it under the open source license
+            indicated in the file; or
+
+        (b) The contribution is based upon previous work that, to the best
+ &nb