Embedded Project on Zynq: ARMv7-A. A good idea?

I am thinking about using FreeBSD for an embedded project that is coming up.

The architecture is Xilinx Zynq, which is an ARM Cortex-A9 (ARMv7-A).

Would FreeBSD be a good choice for this project? This is a professional project and the OS needs to be rock solid when we release.

I downloaded a SD-Card image and was able to boot FreeBSD on a development board:


But there seems to be very little information or discussion about this platform that I can find.

Any thoughts or opinions on this topic? How mature is the ARM port of FreeBSD?

Also, I was wondering, can I generate ELF files with the Vivado SDK, and run them at the FreeBSD command line?

No, it isn't. It just means there's no official support and no official releases. But that doesn't mean there's nothing happening. In fact there's a lot happening for ARM. There's lots more info: https://wiki.freebsd.org/FreeBSD/arm

If you're serious about developing FreeBSD on ARM I also suggest joining the freebsd-arm mailing list. There aren't a lot of developers on this board, but you can find all of them on the mailing list.