| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
authentication
|
|
|
|
|
|
systemd-networkd is a bit opaque. In particular there doesn't seem to be
a way to verify that the generated IPv6 addresses are stable private.
An alternative may be to set net.ipv6.conf.default.addr_gen_mode = 2.
systemd.network.wait-online.anyInterface does not seem to work properly;
systemd-networkd-wait-online.service should be generated with --any flag
but appears to be from upstream.
|
|
|
|
|
|
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.
|
|
|
|
|
