Zynq. Yes, their SoC products have embedded ARM cores: https://www.altera.com/products/soc/overview.html

These's a bunch of affordable Cyclone V SoC development boards: http://www.terasic.com.tw/attachment/archive/836/image/compa...