Semihalf develops and maintains FreeBSD operating system for ARM-based system-on-chip devices, and provides full support including tools, build environment, and technical training. We have deep understanding of ARM architecture definition (v4 through v7), low- level aspects of the CPU like virtual vs. physical caches, coherency issues, exceptions, VM/MMU etc.
Our experience includes complete ports from scratch of the FreeBSD OS to a number of system-on-chip families, design and development of device drivers for all integrated peripherals (interrupt controller, PCI-Express, Ethernet, crypto engines, DMA, S/ATA, XOR and others). The ports are feature complete, stable and ready for production use (we have a number of successful commercial deployments for reference).
We currently offer the following embedded FreeBSD Board Support Packages for the ARM architecture: