There's the HiFive from SiFive though. Which is the Arduino form-factor board with their Freedom E310 core.