stuff

systems/aarch64-linux/pi4/boot.nix

@@ -1,47 +1,12 @@
-# { pkgs, lib, ... }:
-# let
-#   uefi_pi4 = pkgs.callPackage ./pi4-uefi.nix { };
-# in
-# {
-#   boot = {
-#     loader = {
-#         systemd-boot.enable = lib.mkForce false;
-#         efi.canTouchEfiVariables = false;
-#         generic-extlinux-compatible.enable = lib.mkForce true;
-#     };
-#     plymouth.enable = false;
-#     kernelPackages = pkgs.linuxPackages_rpi4;
-#     kernelModules = [ "i2c-dev" "i2c-bcm2835" ];
-#     initrd.kernelModules = [  "i2c-dev" "i2c-bcm2835"  ];
-#   };
-#   # environment.systemPackages = [ uefi_pi4 ];
-
-#   # Copy UEFI firmware files to the boot partition
-#   # system.activationScripts.installUEFIFirmware.text = ''
-#   #   cp -r ${uefi_pi4}/share/uefi_rpi4/* /boot/firmware/
-#   # '';
-# }
 {
-  config,
   pkgs,
-  lib,
   ...
 }:
 let
   kernelBundle = pkgs.linuxAndFirmware.latest;
 in
 {
-  system.nixos.tags =
-    let
-      cfg = config.boot.loader.raspberry-pi;
-    in
-    [
-      "raspberry-pi-${cfg.variant}"
-      cfg.bootloader
-      config.boot.kernelPackages.kernel.version
-    ];
-
-  boot = lib.mkForce {
+  boot = {
     loader.raspberry-pi = {
       firmwarePackage = kernelBundle.raspberrypifw;
       variant = "4";