anchor.diff:          socketConfig.Accept = true;
         };
   
  -      systemd.services."vboxtestlog-${name}@" = mkIf enableVBoxUART {
  +      systemd.services."vboxtestlog-${name}@" = {
           description = "VirtualBox Test Machine Log For ${name}";
           serviceConfig.StandardInput = "socket";
           serviceConfig.StandardOutput = "syslog";
  
positive.code:       "boot.trace" "panic=1" "boot.panic_on_fail"
        "init=${pkgs.writeScript "mini-init.sh" miniInit}"
      ];
  
      # XXX: Remove this once TSS location detection has been fixed in VirtualBox
      boot.kernelPackages = pkgs.linuxPackages_4_9;
  
      fileSystems."/" = {
        device = "vboxshare";
  
negative.code:   # to run 32-bit guests.
    useKvmNestedVirt ? false,
    # Whether to run 64-bit guests instead of 32-bit. Requires nested KVM.
    use64bitGuest ? false
  }:
  
  assert use64bitGuest -> useKvmNestedVirt;
  
  with import ../lib/testing.nix { inherit system pkgs; };
  with pkgs.lib;
  