diff --git a/configuration.nix b/configuration.nix
index c581abd..dd3df7f 100644
--- a/configuration.nix
+++ b/configuration.nix
@@ -12,7 +12,6 @@
 
    # Latest kernel
    boot.kernelPackages = pkgs.linuxPackages_latest;
-   boot.kernelParams = [ "vfio-pci.ids=8086:9b41" "qxl" "bochs_drm"];
 
    boot.loader = {
       systemd-boot.enable = true;