|
ed516be5ef
|
rpi: install lm_sensors and file
|
2019-10-21 18:28:14 +08:00 |
|
|
ff09666bfe
|
rpi: disable /boot partition
https://github.com/NixOS/nixpkgs/issues/22014#issuecomment-290152982
|
2019-10-16 15:48:20 +08:00 |
|
|
01c4478099
|
rpi: use default linux kernel
|
2019-09-11 17:37:20 +08:00 |
|
|
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 |
|