adding babybel to the special PCI cases.
authorReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 12 Dec 2014 15:05:16 +0000 (16:05 +0100)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 12 Dec 2014 15:05:16 +0000 (16:05 +0100)
commitab6f381822b23a0388d70fabdf487bd96ac6e2c4
tree443688ff478c18d5272b9b4b7cb5b86a262998d8
parent65fdebaf22deda2fb9b71ae25631e91ee1dbf92b
adding babybel to the special PCI cases.
tools/harness/barrelfish.py
tools/harness/tests/greenmarl.py