mirror of
https://github.com/Ascyii/nixos.git
synced 2026-01-01 06:44:26 -05:00
36 lines
1.3 KiB
Nix
36 lines
1.3 KiB
Nix
{ config, pkgs, lib, ... }:
|
|
{
|
|
# NixOS wants to enable GRUB by default
|
|
boot.loader.grub.enable = false;
|
|
# Enables the generation of /boot/extlinux/extlinux.conf
|
|
boot.loader.generic-extlinux-compatible.enable = true;
|
|
|
|
# !!! If your board is a Raspberry Pi 1, select this:
|
|
boot.kernelPackages = pkgs.linuxPackages_rpi;
|
|
# On other boards, pick a different kernel, note that on most boards with good mainline support, default, latest and hardened should all work
|
|
# Others might need a BSP kernel, which should be noted in their respective wiki entries
|
|
|
|
# nixos-generate-config should normally set up file systems correctly
|
|
imports = [ ./hardware-configuration.nix ];
|
|
# If not, you can set them up manually as shown below
|
|
/*
|
|
fileSystems = {
|
|
# Prior to 19.09, the boot partition was hosted on the smaller first partition
|
|
# Starting with 19.09, the /boot folder is on the main bigger partition.
|
|
# The following is to be used only with older images. Note such old images should not be considered supported anymore whatsoever, but if you installed back then, this might be needed
|
|
/*
|
|
"/boot" = {
|
|
device = "/dev/disk/by-label/NIXOS_BOOT";
|
|
fsType = "vfat";
|
|
};
|
|
*/
|
|
"/" = {
|
|
device = "/dev/disk/by-label/NIXOS_SD";
|
|
fsType = "ext4";
|
|
};
|
|
};
|
|
|
|
swapDevices = [ { device = "/swapfile"; size = 8192; } ];
|
|
}
|
|
|