From 1ded43ae0aa0f68a9d0992d0d6bb4d99c8e493c2 Mon Sep 17 00:00:00 2001
From: Andreas Baumann <mail@andreasbaumann.cc>
Date: Fri, 5 Jul 2019 15:50:10 +0200
Subject: community/bochs: disabled host mapped PCI devices

---
 community/bochs/PKBUILD | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 community/bochs/PKBUILD

(limited to 'community/bochs')

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
+    '
+)"
-- 
cgit v1.2.3