|
709c004585
|
rpi: update nix channel URL
|
2019-08-17 10:27:25 +08:00 |
|
|
17c1dba1fd
|
rpi: add astro user
|
2019-05-10 13:32:10 +08:00 |
|
|
f308253cff
|
rpi: remove fixed UIDs
|
2019-05-03 16:42:06 +08:00 |
|
|
172b40f193
|
rpi: disable manpages
Building them is slow and runs out of memory.
|
2019-04-14 18:08:39 +08:00 |
|
|
bcfc9ea471
|
distribute aarch64 openocd
|
2019-04-08 23:45:30 +08:00 |
|
|
78ad5a2b51
|
add Raspberry Pi JTAG server configuration.nix
|
2019-03-20 19:58:30 +08:00 |
|