3 Commits (b49dc35cf69f480d8c4d73ec246c66fc910c848d)

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