arrakis merge: make x86_32 build
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 17 Aug 2015 08:53:34 +0000 (10:53 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 17 Aug 2015 08:53:40 +0000 (10:53 +0200)
commit1419994016a2f5af7dfa0945f3394fd90c7f775b
tree8e730c5a7f71bce525a933f838e3e139c3803fcd
parentcf9d5a858c709d77bc19a8b4459eed74c2688413
arrakis merge: make x86_32 build

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
hake/X86_32.hs
include/arch/x86_32/barrelfish/invocations_arch.h
usr/acpi/intel_vtd.c
usr/drivers/e10k/Hakefile
usr/drivers/megaraid/Hakefile
usr/drivers/megaraid/megaraid.c
usr/drivers/megaraid/megaraid_vsic.c
usr/tests/e10ktest/Hakefile