raspberry-pi-5.nix set `boot.kernelParams = lib.mkDefault [ "console=tty0" ]` to keep the serial console off the GPIO UART so a validator can own it. It never took effect: kernelParams is list-merged, and only definitions at the highest priority survive — nixpkgs defines loglevel/lsm at normal priority, so the mkDefault list was discarded wholesale. Effective params on rpi5-installed were `[ "loglevel=4" "lsm=landlock,yama,bpf" ]`, no console= at all, which makes the kernel fall back to the device tree's stdout-path: that same UART. Drop the mkDefault so the entry merges. Verified by evaluating config.boot.kernelParams before/after. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013A6683cCHnQxFUosx1krY4 |
||
|---|---|---|
| .. | ||
| batm3.nix | ||
| douro.nix | ||
| raspberry-pi-5.nix | ||
| upboard-serial.nix | ||
| upboard.nix | ||