From 1bae1d1b33a18846a48b4e46344a98a4ac2e854e Mon Sep 17 00:00:00 2001 From: clerie Date: Thu, 4 Feb 2021 18:53:06 +0100 Subject: [PATCH] Removed raspberrypi --- hosts/drain/build-sd-image.sh | 3 --- hosts/drain/configuration.nix | 36 ----------------------------------- 2 files changed, 39 deletions(-) delete mode 100755 hosts/drain/build-sd-image.sh delete mode 100644 hosts/drain/configuration.nix diff --git a/hosts/drain/build-sd-image.sh b/hosts/drain/build-sd-image.sh deleted file mode 100755 index 75bffe6..0000000 --- a/hosts/drain/build-sd-image.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/usr/bin/env bash - -nix build -f "" config.system.build.sdImage -I nixos-config=configuration.nix -I nixpkgs=channel:nixos-unstable --system aarch64-linux diff --git a/hosts/drain/configuration.nix b/hosts/drain/configuration.nix deleted file mode 100644 index 8f6ea99..0000000 --- a/hosts/drain/configuration.nix +++ /dev/null @@ -1,36 +0,0 @@ -{ lib, pkgs, config, modulesPath, ... }: - -{ - imports = [ - ../../configuration/common - (modulesPath + "/installer/cd-dvd/sd-image.nix") - ]; - - nixpkgs.system = "aarch64-linux"; - - boot.loader.grub.enable = false; - boot.loader.raspberryPi.enable = true; - boot.loader.raspberryPi.version = 4; - boot.kernelPackages = pkgs.linuxPackages_rpi4; - - sdImage = { - firmwareSize = 1024; - firmwarePartitionName = "NIXOS_BOOT"; - populateFirmwareCommands = - "${config.system.build.installBootLoader} ${config.system.build.toplevel} -d ./firmware"; - populateRootCommands = ""; - }; - - fileSystems."/boot/firmware" = { - mountPoint = "/boot"; - neededForBoot = true; - }; - - documentation.enable = false; - - networking.hostName = "drain"; - - networking.interfaces.eth0.useDHCP = true; - - system.stateVersion = "21.03"; -}