It could if you want to. Xilinx Zynq 7010 has a Cortex A9 processor core.

Someone linked the GitHub. That should have the PCB grbr files; maybe you can get them made yourself and just buy the discrete/processor components from DigiKey. Also, DigiKey red makes PCBs.

That's a high barrier to entry for someone coming from the software side. Just sourcing components can be a shitshow.