This commit is contained in:
Tao Tien 2025-05-22 18:48:53 -07:00
parent 67619e3478
commit 50eb5f227a
5 changed files with 537 additions and 456 deletions

View file

@ -10,14 +10,12 @@
programs.partition-manager.enable = false;
services.printing.enable = false;
i18n.inputMethod = {};
i18n.inputMethod.enable = false;
services.xserver.enable = false;
services.desktopManager.plasma6.enable = false;
# services.pipewire.enable = false;
# services.pulseaudio.enable = true;
hardware.raspberry-pi."4" = {
apply-overlays-dtmerge.enable = true;
bluetooth.enable = true;
fkms-3d.enable = true;
};
@ -34,79 +32,6 @@
boot.loader.efi.canTouchEfiVariables = false;
# Configure for modesetting in the device tree
hardware.deviceTree = {
overlays = [
# Equivalent to:
# https://github.com/raspberrypi/linux/blob/rpi-6.1.y/arch/arm/boot/dts/overlays/cma-overlay.dts
{
name = "rpi4-cma-overlay";
dtsText = ''
// SPDX-License-Identifier: GPL-2.0
/dts-v1/;
/plugin/;
/ {
compatible = "brcm,bcm2711";
fragment@0 {
target = <&cma>;
__overlay__ {
size = <(512 * 1024 * 1024)>;
};
};
};
'';
}
# Equivalent to:
# https://github.com/raspberrypi/linux/blob/rpi-6.1.y/arch/arm/boot/dts/overlays/vc4-fkms-v3d-overlay.dts
{
name = "rpi4-vc4-fkms-v3d-overlay";
dtsText = ''
// SPDX-License-Identifier: GPL-2.0
/dts-v1/;
/plugin/;
/ {
compatible = "brcm,bcm2711";
fragment@1 {
target = <&fb>;
__overlay__ {
status = "disabled";
};
};
fragment@2 {
target = <&firmwarekms>;
__overlay__ {
status = "okay";
};
};
fragment@3 {
target = <&v3d>;
__overlay__ {
status = "okay";
};
};
fragment@4 {
target = <&vc4>;
__overlay__ {
status = "okay";
};
};
};
'';
}
];
};
# Also configure the system for modesetting.
services.xserver.videoDrivers = lib.mkBefore [
"modesetting" # Prefer the modesetting driver in X11
"fbdev" # Fallback to fbdev
];
fileSystems = {
"/" = {
device = "/dev/disk/by-label/NIXOS_SD";