Merge branch 'caps_next'

[barrelfish] / tools / harness / barrelfish.py

diff --git a/tools/harness/barrelfish.py b/tools/harness/barrelfish.py
index 38e930a..e7243b0 100644 (file)
--- a/tools/harness/barrelfish.py
+++ b/tools/harness/barrelfish.py
@@ -140,7 +140,7 @@ def default_bootmodules(build, machine):
 
         if machine.name == "sbrinz1" or machine.name == "sbrinz2" \
         or machine.name == "tomme1" or machine.name == "tomme2" \
-        or is_babybel == 1 :
+        or machine.name == "appenzeller" or is_babybel == 1 :
             # PCI allocation broken, use BIOS plan
             m.add_module("%s/sbin/pci" % a, ["auto",
                                              "skb_bridge_program=bridge_bios"] + machine.get_pci_args())