FreeBSD by Semihalf

OS/RTOS

Product Description

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:

• Marvell Armada 500 (88F6781, ARMv6, v7)
• Marvell RAID-On-Chip (88RC8180, ARMv5)
• Marvell Orion (88F5281, ARMv5)
• Marvell Kirkwood (88F6281, ARMv5)
• Marvell Discovery Innovation (MV78100, ARMv5)
• Texas Instruments DaVinci DM644x (ARMv5)
• Coming soon: Armada XP (including SMP support)

FreeBSD

Market Segment(s)

• Embedded
• Enterprise
• Home
• Mobile
• Mobile Computing

Target Platform(s)

• Other OS

ARM Processor(s)

• ARM920T
• ARM926EJ-S
• ARM1026EJ-S
• ARM1136J-S
• ARM1136JF-S
• ARM1156T2(F)-S
• ARM1176JZ(F)-S
• Cortex-A53
• Cortex-A57
• Cortex-A8
• Cortex-A9
• ARMv5
• ARMv6
• ARMv7
• ARMv8
• StrongARM
• XScale
• Other

 Contact Us