| Age | Commit message (Collapse) | Author |
|---|
|
|
|
Note to cross-compile, need to set:
nixpkgs.buildPlatform = "x86_64-linux";
This will use a LOT of disk space in the Nix store (10+ GB).
|
|
Probably needs dtparam=audio=on in /boot/config.txt for snd_bcm2835
|
|
Note disabling environment.noXlibs causes many cache misses.
|
|
Would also want to consider raising CMA (dynamic GPU memory)
|
|
|
|
- Seems to be a better idea to use device tree blobs from the same
kernel (see https://lkml.org/lkml/2022/3/26/90).
- Adds some device-specific device nodes, which provides better support
(like for vcgencmd).
|
|
|
|
Previously was using Tianocore EDK II build with old platform firmware.
Switch to NixOS SD image build, which has stock Raspberry Pi OS firmware
(but missing the DTO overlays/ directory) chained into U-Boot.
|
|
|
|
|
|
|
