merge with tip
authorpravin@inf.ethz.ch <pravin@inf.ethz.ch>
Wed, 16 Jan 2013 13:52:09 +0000 (14:52 +0100)
committerpravin@inf.ethz.ch <pravin@inf.ethz.ch>
Wed, 16 Jan 2013 13:52:09 +0000 (14:52 +0100)
commit78234565634f5cc1b41b8e1dd1dc85eb2a5b4534
tree80b2e0a9a41a636595c430cd8563e8360d90249b
parent29f8edf89e2bcaa6dc6c426decffda2249c1a9e4
parent0c29af63d2773558fd034e7a0453bb29e3ddce4a
merge with tip
21 files changed:
errors/errno.fugu
hake/Main.hs
hake/RuleDefs.hs
hake/symbolic_targets.mk
if/Hakefile
if/pci.if
include/barrelfish/spawn_client.h
include/pci/pci.h
kernel/arch/x86_64/irq.c
lib/barrelfish/spawn_client.c
lib/barrelfish/terminal.c
lib/bench/Hakefile
lib/lwip/src/barrelfish/idc_net_control.c
lib/lwip/src/barrelfish/mem_barrelfish.c
lib/lwip/src/core/init.c
lib/lwip/src/sys_arch.c
lib/net_device_manager/soft_filt_cl_impl.c
lib/pci/pci_client.c
lib/procon/procon.c
usr/drivers/e1000/e1000n.c
usr/pci/pci_service.c