This is a pretty cool write up of a very unique piece of hardware. But I have to ask: are there any vanilla PCIe-based carrier boards for ARM processors? In t

This is a pretty cool write up of a very unique piece of hardware. But I have to ask: are there any vanilla PCIe-based carrier boards for ARM processors? In the past when I've gone looking, I've found people recommending other special purpose cards like the Bluefield SmartNIC (with arm processor) or a Xilinx FPGA (with arm processor). In the case of the time card mini, the specialized use-case of high precision time and GPS is more interesting to me than either a smartNIC or an FPGA... I can't explain why, but I just think it would be so cool to plug in a an ARM pci-e card (maybe even with an RPMesg bus).