Raspberry Pi Pico (W) on NixOS
Permalink | Author: Dan Dart | Published: 2022-12-20 19:16:15 UTC | Tags: nixos pi pico raspberry w
If you're following my GitHub, you'll know I've got a new testing project for the Raspberry Pi Pico (W).
Here's the shell.nix
file again:
with import <nixpkgs> {};
runCommand "pico" {
shellHook = ''
export PICO_SDK_FETCH_FROM_GIT=on
export PICO_EXTRAS_FETCH_FROM_GIT=on
export BOARD=pico-w
export PICO_BOARD=pico_w
'';
buildInputs = [
cmake
gcc
gcc-arm-embedded-10
gnumake
pico-sdk
picotool
python311
];
} ""
Putting this in the root of a directory allows one to compile Pico (W) projects, avoiding polluting the global environment.
Huzzah!
Comments
No comments yet...
Post a comment: