NixOS on ARM/Raspberry Pi 3: Difference between revisions
imported>Samueldr Split off the Raspberry Pi 3 information in its own spin-off page |
imported>Dbeecham "nix-shell --run" is "nix run" in flakeworld |
||
| Line 54: | Line 54: | ||
GPIO 15 RXD - 5th in top row, green cable | GPIO 15 RXD - 5th in top row, green cable | ||
</syntaxhighlight> | </syntaxhighlight> | ||
Use <code>nix-shell -p screen --run "screen /dev/ttyUSB0 115200"</code> to connect to the console. | Use <code>nix-shell -p screen --run "screen /dev/ttyUSB0 115200"</code> (or <code>nix run nixpkgs#screen -- /dev/ttyUSB0 115200</code> if you're using nix flakes) to connect to the console. | ||
{{note|The mainline kernel (tested with nixos kernel 4.18.7) [https://github.com/raspberrypi/linux/wiki/Upstreaming#downstream-drivers does not include support for cpu frequency scaling] on the Raspberry Pi. To get higher clock speed, set [https://www.raspberrypi.org/documentation/configuration/config-txt/overclocking.md <code><nowiki>force_turbo=1</nowiki></code>] in <code>/boot/config.txt</code> }} | {{note|The mainline kernel (tested with nixos kernel 4.18.7) [https://github.com/raspberrypi/linux/wiki/Upstreaming#downstream-drivers does not include support for cpu frequency scaling] on the Raspberry Pi. To get higher clock speed, set [https://www.raspberrypi.org/documentation/configuration/config-txt/overclocking.md <code><nowiki>force_turbo=1</nowiki></code>] in <code>/boot/config.txt</code> }} | ||