40 lines
852 B
Nix
40 lines
852 B
Nix
{...}: {
|
|
fileSystems = {
|
|
"/" = {
|
|
device = "/dev/disk/by-label/NIXOS_SD";
|
|
fsType = "ext4";
|
|
};
|
|
"/tmp" = {
|
|
device = "/dev/disk/by-label/nix-extra";
|
|
fsType = "ext4";
|
|
};
|
|
};
|
|
|
|
hardware.enableRedistributableFirmware = true;
|
|
|
|
hardware.deviceTree = {
|
|
overlays = [
|
|
#"${pkgs.raspberrypifw}/share/raspberrypi/boot/overlays/rpi-ft5406.dtbo"
|
|
{
|
|
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)>;
|
|
};
|
|
};
|
|
};
|
|
'';
|
|
}
|
|
];
|
|
};
|
|
|
|
#hardware.raspberry-pi."4".fkms-3d.enable = true;
|
|
}
|