mirror of
https://github.com/NixOS/nixos-hardware
synced 2024-06-02 11:03:33 +02:00
22 lines
830 B
Nix
22 lines
830 B
Nix
{ profile, pkgs }:
|
|
|
|
(pkgs.nixos [
|
|
profile
|
|
({ config, lib, ... }: {
|
|
nixpkgs.pkgs = pkgs;
|
|
boot.loader.systemd-boot.enable = !config.boot.loader.generic-extlinux-compatible.enable && !config.boot.loader.raspberryPi.enable;
|
|
# we forcefully disable grub here just for testing purposes, even though some profiles might still use grub in the end.
|
|
boot.loader.grub.enable = false;
|
|
|
|
# so we can have assertions that require a certain minimum kernel version,
|
|
# We use a priority of 1200 here, which is higher than the default of 1000
|
|
boot.kernelPackages = lib.mkOverride 1200 pkgs.linuxPackages_latest;
|
|
|
|
fileSystems."/" = {
|
|
device = "/dev/disk/by-uuid/00000000-0000-0000-0000-000000000000";
|
|
fsType = "btrfs";
|
|
};
|
|
system.stateVersion = lib.version;
|
|
})
|
|
]).config.system.build.toplevel
|