1 files changed, 6 insertions, 0 deletions
diff --git a/shinji.scm b/shinji.scm
index cf71c9e..bad5533 100644
--- a/shinji.scm
+++ b/shinji.scm
@@ -5,6 +5,12 @@
 	(inherit base-operating-system)
 	(host-name "shinji")
 
+    (kernel-arguments (append (list "intel_iommu=on")
+                              %default-kernel-arguments))
+
+    (initrd-modules (cons* "vfio_pci" "vfio" "vfio_iommu_type1"
+                           %base-initrd-modules))
+
 	(mapped-devices (list (mapped-device
 				(source (uuid
 					  "5c5dcb22-62b1-41af-9116-b8fdfba83ca2"))