Squashed changes of e89aa91..6ca6bdf (master as of 2016-04-18).
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 18 Apr 2016 08:41:26 +0000 (10:41 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 18 Apr 2016 08:41:26 +0000 (10:41 +0200)
commit69b41b96b7d9e765c289f2f6471a990c09eea783
tree2d4fd981d6d7f3a6b4bd44705d95f36f56e4f3bd
parentced110dda4188e70b265b20ed47a12ce13724497
Squashed changes of e89aa91..6ca6bdf (master as of 2016-04-18).

Take this commit out when merging

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
80 files changed:
capabilities/caps.hl
doc/022-armv8/Hakefile [new file with mode: 0644]
doc/022-armv8/report.tex [new file with mode: 0644]
doc/Hakefile
doc/style/barrelfish.bib
doc/style/defs.bib
errors/errno.fugu
hake/ArchDefaults.hs
hake/Config.hs.template
hake/HakeTypes.hs
hake/Main.hs
hake/RuleDefs.hs
hake/hake.sh
hake/symbolic_targets.mk
if/monitor_blocking.if
if/pci.if
include/arch/aarch64/barrelfish/invocations_arch.h
include/arch/arm/barrelfish/invocations_arch.h
include/arch/x86_32/barrelfish/invocations_arch.h
include/arch/x86_64/barrelfish/invocations_arch.h
include/barrelfish/inthandler.h
include/barrelfish/sys_debug.h
include/barrelfish_kpi/capabilities.h
include/barrelfish_kpi/distcaps.h
include/barrelfish_kpi/sys_debug.h
include/barrelfish_kpi/types.h
include/pci/pci_client_debug.h [new file with mode: 0644]
kernel/arch/arm/syscall.c
kernel/arch/armv7-m/paging.c
kernel/arch/x86_32/irq.c
kernel/arch/x86_32/syscall.c
kernel/arch/x86_64/irq.c
kernel/arch/x86_64/syscall.c
kernel/capabilities.c
kernel/include/arch/armv7-m/offsets.h
kernel/include/arch/armv8/irq.h
kernel/include/arch/x86_32/irq.h
kernel/include/arch/x86_64/irq.h
kernel/include/kcb.h
lib/barrelfish/arch/x86/sys_debug.c
lib/barrelfish/debug.c
lib/barrelfish/inthandler.c
lib/bulk_transfer/backends/net/e10k_queue.h
lib/compiler-rt/Hakefile [deleted file]
lib/compiler-rt/lib/builtins/Hakefile [new file with mode: 0644]
lib/compiler-rt/test/builtins/Unit/Hakefile [new file with mode: 0644]
lib/gmp/Hakefile
lib/linenoise/linenoise.c
lib/pci/Hakefile
lib/pci/mem.c
lib/pci/pci_client.c
lib/posixcompat/Hakefile
lib/thc/thcsync.c
lib/virtio/virtqueue.c
lib/virtio/virtqueue_host.c
tools/harness/builds.py
tools/harness/harness.py
tools/harness/machines/eth_machinedata.py
tools/harness/results.py
tools/harness/scalebench.py
tools/harness/tests/compiler-rt_builtins.py
tools/run-pdflatex.sh
usr/acpi/acpi.c
usr/acpi/acpica_osglue.c
usr/ahcid/ahcid.c
usr/drivers/e10k/e10k_queue.h
usr/drivers/lpc_timer/main.c
usr/drivers/serial/main.c
usr/drivers/solarflair/sfxge/common/efx_mac.c
usr/drivers/usb/usb_keyboard/usb_keyboard_driver.h
usr/drivers/usb/usb_manager/include/usb_memory.h
usr/drivers/xeon_phi/domain.c
usr/eclipseclp/sizes.h
usr/monitor/include/arch/x86_32/monitor_invocations_arch.h
usr/monitor/monitor_rpc_server.c
usr/pci/pci.c
usr/pci/pci.h
usr/pci/pci_msix.c
usr/pci/pci_service.c
usr/skb/octopus/skb_query.c