darkkirb/nixos-config
1
0
Fork 0
Code Issues 1 Pull requests 1 Projects Releases Packages Wiki Activity Actions

feat: Add rpi2

Browse source 
This is related to #10
This commit is contained in:
Charlotte 🦝 Delenk 2022-02-26 09:23:11 +01:00
parent e02dfa0dd7
commit 60f99dddaa
Signed by: darkkirb
GPG key ID: AB2BD8DAF2E37122
2 changed files with 22 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
config/rpi2.nix Normal file
View file

@ -0,0 +1,18 @@
{ ... }: {
networking.hostName = "rpi2";
networking.hostId = "29d7b964";
# 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;
fileSystems."/" = {
device = "/dev/disk/by-label/NIXOS_SD";
fsType = "ext4";
};
system.stateVersion = "21.11";
home-manager.users.darkkirb = import ./home-manager/darkkirb.nix false;
nix.settings.substituters = [
"https://192.168.2.1/cache.int.chir.rs/"
];
nix.settings.cores = 4;
}

4
flake.nix
View file

@ -35,6 +35,10 @@ rec {
name = "thinkrac"; # Thinkpad T470
system = "x86_64-linux";
}
{
name = "rpi2"; # Raspberry Pi 2
system = "armv7l-linux";
}
];
in
rec {