diff --git a/systems/vm.nix b/systems/vm.nix
index b890293..3d68292 100644
--- a/systems/vm.nix
+++ b/systems/vm.nix
@@ -8,6 +8,8 @@
 
    # Latest kernel
    boot.kernelPackages = pkgs.linuxPackages_latest;
+   # Add kernel parameters for virtual machines
+   boot.kernelParams = [ "vfio-pci.ids=8086:9b41" "qxl" "bochs_drm"];
 
    boot.loader = {
       systemd-boot.enable = true;