1
0
Fork 0
Commit Graph

3 Commits

Author SHA1 Message Date
Sebastien Bourdeauducq 172b40f193 rpi: disable manpages
Building them is slow and runs out of memory.
2019-04-14 18:08:39 +08:00
Sebastien Bourdeauducq bcfc9ea471 distribute aarch64 openocd 2019-04-08 23:45:30 +08:00
Sebastien Bourdeauducq 78ad5a2b51 add Raspberry Pi JTAG server configuration.nix 2019-03-20 19:58:30 +08:00