2024-08-19 09:56:10 +02:00
|
|
|
{ pkgs, profile }:
|
2020-02-19 12:01:02 +01:00
|
|
|
|
2023-12-25 22:45:38 +01:00
|
|
|
(pkgs.nixos [
|
|
|
|
profile
|
|
|
|
({ config, lib, ... }: {
|
|
|
|
nixpkgs.pkgs = pkgs;
|
2022-01-31 06:05:05 +01:00
|
|
|
boot.loader.systemd-boot.enable = !config.boot.loader.generic-extlinux-compatible.enable && !config.boot.loader.raspberryPi.enable;
|
2023-05-05 08:45:09 +02:00
|
|
|
# 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;
|
2020-02-19 12:01:02 +01:00
|
|
|
|
2023-09-19 06:55:17 +02:00
|
|
|
# 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;
|
|
|
|
|
2020-02-19 12:01:02 +01:00
|
|
|
fileSystems."/" = {
|
|
|
|
device = "/dev/disk/by-uuid/00000000-0000-0000-0000-000000000000";
|
|
|
|
fsType = "btrfs";
|
|
|
|
};
|
2023-12-25 22:45:38 +01:00
|
|
|
system.stateVersion = lib.version;
|
|
|
|
})
|
|
|
|
]).config.system.build.toplevel
|