Repository Index

Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/

Granular builds of Rust projects for Nix

• nixos
• nixpkgs
• rust
• cargo

Run declarative NixOS containers without full system rebuilds

Nixpkgs overlay with Firefox binary builds for macOS

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

• coq
• nix