Erin van der Veen 7c98145f36 openocd: rework configuration flags ... Removed configure flags no longer present in openocd 0.12, and allows easy configuration of boards. Also removes the two boards that were enabled before.		2023-03-10 14:03:30 +01:00
..
default.nix	openocd: rework configuration flags	2023-03-10 14:03:30 +01:00