Hailo-10H on Raspberry Pi 5: how is the on-chip `pci_ep` driver updated?

After I posted this, I went on to try other permutations. I had a brutal session with a frontier model, trying to figure out how to patch this to work and here are the battle scars that I came away with so you don’t have to (if you are also looking to build a deterministic nixos pi with a Kailo10H APU: # docs/hailo.md The Hailo-10H AI HAT+ 2 on a Raspberry Pi 5, under NixOS. Everything learned bringing it up on 2026-09-13, including what did not work and why.