mirror of
https://github.com/NixOS/nixos-hardware
synced 2024-11-30 14:59:43 +01:00
c84a8f2423
With overlays one cannot re-use nixpkgs across different machines, which is a performance issues. In this instance it's not really needed.
14 lines
412 B
Nix
14 lines
412 B
Nix
{ pkgs, lib, ... }: {
|
|
nixpkgs.hostPlatform = "aarch64-linux";
|
|
|
|
boot = {
|
|
kernelPackages = pkgs.linuxPackagesFor (pkgs.callPackage ./bsp/linux-imx8.nix { });
|
|
kernelParams = [ "console=ttyLP0,115200n8" ];
|
|
loader.grub.enable = lib.mkDefault true;
|
|
initrd.includeDefaultModules = lib.mkForce false;
|
|
};
|
|
|
|
disabledModules = [ "profiles/all-hardware.nix" ];
|
|
|
|
hardware.deviceTree.enable = true;
|
|
}
|