FreeRTOS on a PCIe card?

I am interested in running FreeRTOS on a m.2 form factor pcie card. The SOC has an ARM core. Has anyone done that? Is there any off-the-shelf m.2 or other pcie card with an SDK available as an example device?