the problem is solved

Community images are tied to daily beta repo where it should always be a match kernel - headers. Just make sure you have a clean updated system then proceeding to header installation via armbian-config. And only if this doesn't work, report so we can look into.

I see it like who is motivated to check and do the work w.r.t U-Boot. Especially while EDK2 UEFIv1.1 is available already a year and at least for my ROCK5B and NanoPi-R6C with both Armbian rockchip edge kernels as well as standard Debian arm64 kernels works OK. We call those things 'firmware' but the 'firm' selling this OP5 HW is not delivering this. Good thing is that it is all open source at least. For the ROCK5B I also used it in 'vendor' mode, so 6.1.115 works and so video encoders as well (for Jellyfin). For NanoPi-R6C (RK3588S, same as OP5) it is in the on-board eMMC, that is some disadvantage compared to SPI and more as SD-card. So not sure how OP5 will deal with it.

At least that explains the result of the nvme scan command. Now it remains to find out why this is the case, but since improvements are still pending for PCIe support even in the mainline kernel, the question arises whether all of this has already been migrated into the firmware.

It doesn't see NVMe device on PCI bus. => pci enum => pci BusDevFun VendorId DeviceId Device Class Sub-Class _____________________________________________________________ 00.00.00 0x1d87 0x3588 Bridge device 0x04