Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/community
diff options
context:
space:
mode:
authorAndreas Baumann <mail@andreasbaumann.cc>2019-07-05 15:50:10 +0200
committerAndreas Baumann <mail@andreasbaumann.cc>2019-07-05 15:50:10 +0200
commit1ded43ae0aa0f68a9d0992d0d6bb4d99c8e493c2 (patch)
treece8771de5718098d0594c0c16f41aa5841b1282e /community
parentb2ee4a95b71de3713494af00255ea803f286d888 (diff)
community/bochs: disabled host mapped PCI devices
Diffstat (limited to 'community')
-rw-r--r--community/bochs/PKBUILD9
1 files changed, 9 insertions, 0 deletions
diff --git a/community/bochs/PKBUILD b/community/bochs/PKBUILD
new file mode 100644
index 00000000..67fa958d
--- /dev/null
+++ b/community/bochs/PKBUILD
@@ -0,0 +1,9 @@
+--enable-pcidev
+# disable host PCI device mapping, not supported for newer kernels in Bochs itself
+
+eval "$(
+ declare -f build | \
+ sed '
+ s@--enable-pcidev@--disable-pcidev@g
+ '
+)"