Thomas Watson

Be sure to update the comment too.

Still interested in getting this in. What setups are there where it works nicely? The JTAG UART is still completely and utterly unusable for me without this patch. Can you...

I see, I did not realize the change actually broke something. If you can clarify what breaks and debug that would be extremely helpful.

What OS and JTAG adatper are you using? IIRC with my setup the terminal works fine both with and without the patch, but the thing this patch is intended to...

Sorry, what I was asking is if the firmware upload works for you before this patch on the Arty. Also curious if it works using an Altera JTAG adapter and/or...

Hi, have you managed to get more information to answer the above?

Yes, this is a known problem. The patch which enables stuff like WiFi to work on a 4K kernel is out of date as of the update to 6.1 or...

An error has been added so your configuration will refuse to evaluate instead of failing to apply a broken patch. Sorry about the inconvenience.

Nobody has stepped up to fix this so I'm finally removing it completely.

Are you sure that home-manager is using the same `pkgs` as the rest of the system? See the option `home-manager.useGlobalPkgs = true;`; it's probably not going to work without that...