From 233986e6bc9ef8c9e54795981203daf291118f74 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Mon, 9 Nov 2020 12:09:07 +0100
Subject: [PATCH] nixos: do not set a default Nic driver

Setting a default driver will cause confusion later.
---
 nixos-modules/hardware.nix | 5 +----
 tests/lib/build-vms.nix    | 1 +
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/nixos-modules/hardware.nix b/nixos-modules/hardware.nix
index e9bff06..f800145 100644
--- a/nixos-modules/hardware.nix
+++ b/nixos-modules/hardware.nix
@@ -8,10 +8,7 @@ with lib;
       attrsOf (submodule ({ ... }: {
         options.genode = {
 
-          driver = mkOption {
-            type = types.enum [ "ipxe" "virtio" ];
-            default = "ipxe";
-          };
+          driver = mkOption { type = types.enum [ "ipxe" "virtio" ]; };
 
           stack = mkOption {
             type = types.enum [ "lwip" "lxip" ];
diff --git a/tests/lib/build-vms.nix b/tests/lib/build-vms.nix
index 32b6948..3119872 100644
--- a/tests/lib/build-vms.nix
+++ b/tests/lib/build-vms.nix
@@ -72,6 +72,7 @@ rec {
                     address = "192.168.${toString fst}.${toString m.snd}";
                     prefixLength = 24;
                   }];
+                  genode.driver = "virtio";
                 });
             in {
               key = "ip-address";