4 Commits

Author	SHA1	Message	Date
Sebastien Bourdeauducq	f308253cff	rpi: remove fixed UIDs	2019-05-03 16:42:06 +08:00
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