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.