23.05 is broken for Raspberry Pi 4

In order to get a few more eyes on the issue I mention it here as well.
There seems to be a problem when enabling a hardware option for the Raspi4.
The issue can be found here:


Thanks to the help of the Matrix chat I was able to fix my setup.
The nixos-hardware module isn’t required anymore since the mainline kernel works as well.
I was told that everything works except ISP (don’t know what that is).
However, I can confirm that I got my USB-OTG setup working.
I had to take the following settings from nixos-hardware to get my config working.
I’not 100% sure that everything is required but it is working with this.

    boot = {
      initrd.availableKernelModules = [
        "pcie_brcmstb" # required for the pcie bus to work
        "reset-raspberrypi" # required for vl805 firmware to load

      loader = {
        grub.enable = false;
        generic-extlinux-compatible.enable = true;
    boot.extraModulePackages = [ ];
    boot.kernelParams = [ ];

    hardware.enableRedistributableFirmware = true;

My base config lives here:

And the config for USB-OTG (Raspberry with Ethernet over USB-C) lives here: