7 Commits

Author	SHA1	Message	Date
Sebastien Bourdeauducq	01c4478099	rpi: use default linux kernel	2019-09-11 17:37:20 +08:00
Sebastien Bourdeauducq	709c004585	rpi: update nix channel URL	2019-08-17 10:27:25 +08:00
Sebastien Bourdeauducq	17c1dba1fd	rpi: add astro user	2019-05-10 13:32:10 +08:00
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