diff options
doc: cookbook: Fix commands in example....Fixes <https://issues.guix.gnu.org/59463>. Reported by Luca Cirrottola <luca.cirrottola@inria.fr>. * doc/guix-cookbook.texi (Reproducible profiles): Make it work. | Florian Pelz | |
2022-11-24 | doc: Add a security keys section to the cookbook....* doc/guix-cookbook.texi (Top): Register new menu. (System Configuration): Likewise. (Using security keys): New section. | Maxim Cournoyer |
download | guix-d2af1df65f453ff81567eb2c49d908c0a2032329.tar.gz guix-d2af1df65f453ff81567eb2c49d908c0a2032329.zip |
---|
gnu: openocd: Explicitly enable all the programmers.
* gnu/packages/embedded.scm (openocd)[arguments]<#:configure-flags>: Add
"enable" flags for rshim, ft232r, xds110, cmsis-dap-v2, nulink, kitprog,
jtag_dpi, bcm2835gpio, imx_gpio, ep93xx, at91rm9200, sysfsgpio,
xlnx-pcie-xvc.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/embedded.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gnu/packages/embedded.scm b/gnu/packages/embedded.scm index 807314f7f1..6e951e70a0 100644 --- a/gnu/packages/embedded.scm +++ b/gnu/packages/embedded.scm @@ -601,7 +601,10 @@ language.") "parport" "aice" "cmsis-dap" "dummy" "jtag_vpi" "remote-bitbang" "rlink" "stlink" "ti-icdi" "ulink" "usbprog" "vsllink" "usb-blaster-2" "usb_blaster" - "presto" "openjtag"))) + "presto" "openjtag" "rshim" "ft232r" "xds110" + "cmsis-dap-v2" "nulink" "kitprog" "jtag_dpi" + "bcm2835gpio" "imx_gpio" "ep93xx" "at91rm9200" + "sysfsgpio" "xlnx-pcie-xvc"))) #:phases (modify-phases %standard-phases (replace 'bootstrap |