pr-28.patch

@@ -96,7 +96,7 @@ index c61f9d6..fbdf0fd 100644
    };
  }
 diff --git a/zynq_image.nix b/zynq_image.nix
-index 3fa23ab..b95e7f8 100644
+index 3fa23ab..4fa949e 100644
 --- a/zynq_image.nix
 +++ b/zynq_image.nix
 @@ -1,66 +1,90 @@
@@ -200,7 +200,7 @@ index 3fa23ab..b95e7f8 100644
 +    etc = {
 +      "service/getty/run".source = pkgs.writeShellScript "getty" ''
 +        hostname ${config.networking.hostName}
-+        agetty ttyPS0 115200
++        exec setsid agetty ttyPS0 115200
 +      '';
 +      "pam.d/other".text = ''
 +        auth     sufficient pam_permit.so