{ inputs, lib, pkgs, ... }:
{
  imports = [
    inputs.nixos-hardware.nixosModules.raspberry-pi-3
  ];

  nixpkgs.buildPlatform = "x86_64-linux";

  boot.kernelPackages = lib.mkForce pkgs.linuxKernel.packages.linux_rpi3;

  raspberry-pi-nix.board = "bcm2711";
  raspberry-pi-nix.uboot.enable = true;
}