Amazon FreeRTOS™ is open source and extends the FreeRTOS kernel with libraries, making it easy to connect to cloud services and edge devices. Amazon FreeRTOS support is available for our SoC FPGAs and Mi-V soft CPUs.

Linux^® is a family of open-source Unix-like operating systems based on the Linux kernel, an operating system kernel. It is available for PolarFire SoC. We support the Yocto and Builtroot OSs on our Icicle Kit.

The Zephyr^® Project is an open-source collaborative effort to build a small, scalable RTOS. Zephyr OS has been ported on PolarFire SoC and our other Mi-V soft CPUs. 

The seL4^® mikrokernel is a high-assurance, high-performance operating system microkernel that provides comprehensive formal verification without compromising performance. Support for the seL4 microkernel is available for PolarFire SoCs.

Nucleus RTOS is an RTOS produced by the Embedded Software Division of Mentor Graphics (a Siemens business) that enables RISC-V for edge and smart devices. It is available for PolarFire SoCs.

RIOT is a free, open-source OS that supports most low-power IoT devices, microcontroller architectures (32-bit, 16-bit, 8-bit) and external devices. The RIOT OS port on our PolarFire SoC Icicle Kit will be available soon.

VxWorks^® from Wind River^® is the world's leading RTOS. Wind River extends VxWorks support to PolarFire SoCs.

NuttX is an RTOS with an emphasis on standards compliance and small footprints. The primary governing standards in NuttX are the Posix and ANSI standards. The NuttX port on the PolarFire SoCIcicle Kit is now available.

Real-Time Executive for Multiprocessor Systems (RTEMS) is an open-source RTOS that supports open standard Application Programming Interfaces (APIs). It will be available with PolarFire SoC soon.

GNU Network Object Model Environment (GNOME) is a free and open-source desktop environment for Unix-like operating systems. GNOME supports PolarFire SoCs.

FreeBSD is an open-source Unix-like operating system descended from the Berkeley Software Distribution, which was based on Research Unix. It supports the RISC-V architecture and will be available for PolarFire SoCs.

INTEGRITY RTOS, made by Green Hills Software, sets the standard for RTOS safety, security, reliability and performance. The INTEGRITY RTOS port is available for PolarFire SoCs.

Microsoft^® Azure RTOS ThreadX is an advanced Real-Time Operating System (RTOS) designed specifically for deeply embedded applications. The ThreadX RTOS has been ported to the RISC-V soft CPU on our MPF300-EVAL-KIT evaluation board.

Green Hills Software is the worldwide leader in embedded safety and security applications. GreenHills’ u-velOSity RTOS port for PolarFire SoC is now available.

The Robot Operating System (ROS) is a set of software libraries and tools that help you build robot applications. PolarFire SoC is supported in ROS Humble LTS.

SAFERTOS^® by WITTENSTEIN is an IEC 61508-3 SIL 3 and ISO 26262 ASIL D pre-certified safety Real Time Operating System (RTOS) for embedded processors. WITTENSTEIN’s high-integrity systems have ported SAFERTOS on our MiV_RV32 soft CPU IP-based RISC-V core.

Ubuntu by Canonical Ltd is a Debian-based Linux distribution that consists of free and open-source software. Ubuntu is now available on PolarFire SoC FPGAs.

Siemens Sokol™ Flex OS is a commercially supported, extensible and customizable Linux platform that quickly and efficiently scales to productivity. Sokol Flex OS software now supports PolarFire SoC FPGAs.  

PikeOS is a leading RTOS solution used in safety- and security-critical applications. It provides safety certification for DO-178 C (avionics), ICE 62279/EN 50128 (railway) or ISO 26262 (automotive). Sysgo’s PikeOS is available with PolarFire SoC FPGA.

OCEOSmp is a high-reliability RTOS that complies with European Cooperation for Space Standardization (ECSS) Category B standards. OCEOSmp is now available for PolarFire SoC FPGAs.

Antmicro delivers end-to-end hardware, software and FPGA design services for custom engineering projects as well as open-source tools such as the Renode™ simulation platform. The Renode model of SoC FPGAs is available as a part of SoftConsole.

Emdalo Technologies a software engineering development company specializing in delivering solutions in embedded systems, Machine Learning (ML), AI, information security and Industrial Internet of Things (IIoT) applications.

DornerWorks specializes in FPGA design and engineering and development of embedded software and hardware. Their expertise includes designs for the aerospace, medical, automotive and IoT markets. Support for the seL4® microkernel is available on our Icicle Kit.

Enclustra offers highly integrated FPGA modules (SoMs) and FPGA-optimized IP cores. They also provide services covering the whole range of FPGA-based system development, from high-speed hardware or HDL firmware to embedded software. The Mercury+ MP1 SoC module is coming soon.

Trenz Electronic develops, manufactures, integrates and sells FPGA sand SoC modules (SoMs) with a focus on application-specific HDL and FPGA design, hardware and software development. PolarFire SoC-based SoMs are now available from Trenz.

ARIES Embedded offers hardware products (modular systems and custom designs) and services for IP development and software development (FreeRTOS, U-Boot, Linux). ARIES Embedded M100PF and M100PFS System on Modules (SoMs) are available now.

Sundance DSP is a worldwide supplier of high-performance DSP and FPGA processor boards (SoMs) and I/O modules for high-performance, parallel-processing applications. Sundance’s PolarBerry SoM is available for our PolarFire SoC.

Digital Core Technologies offers design services such as hardware designs (high-speed, high-density digital, analog, power and RF), embedded logic ware and embedded software. Digital Core Technologies’ SoM modules are available now.

Dexcel is an embedded product engineering design house with expertise in FPGA- and ASIC-centric designs that provides board-level designs and systems on a programmable chip.

Codethink specializes in system-level software infrastructure to support advanced technical applications. They have ported GNOME OS to our PolarFire SoC Icicle Kit.

Offcode Ltd. is a design service provider specialized in embedded systems, tools, and software development. They have ported NuttX RTOS on PolarFire SOC Icicle kit.

Praesum Communications develops and deploys smart switching technologies in the form of IP cores, boards and system-level products. They provide serial RapidIO® streaming endpoint cores for our PolarFire FPGAs and SoCs.

ARIES Embedded offers hardware products (modular systems and custom designs) and services for IP development and software development (FreeRTOS, U-Boot, Linux). ARIES Embedded M100PF and M100PFS System on Modules (SoMs) are available now.

Trenz Electronic develops, manufactures, integrates and sells FPGA sand SoC modules (SoMs) with a focus on application-specific HDL and FPGA design, hardware and software development. PolarFire SoC-based SoMs are now available from Trenz.

Aldec is an electronic design automation company that provides compact prototyping board TySOM™ Embedded Development Kit using our PolarFire SoC.

Enclustra offers highly integrated FPGA modules (SoMs) and FPGA-optimized IP cores. They also provide services covering the whole range of FPGA-based system development, from high-speed hardware or HDL firmware to embedded software. The Mercury+ MP1 SoC module is coming soon.

Emcraft is a leading provider of SoM solutions. They provide production-ready, self-maintained Linux BSPs and software distributions for all of their SoM solutions. 

Sundance DSP is a worldwide supplier of high-performance DSP and FPGA processor boards (SoMs) and I/O modules for high-performance, parallel-processing applications. Sundance’s PolarBerry SOM and SOM1-SoC with the PolarFire SoC are available now.

Digital Core Technologies offers design services such as hardware designs (high-speed, high-density digital, analog, power and RF), embedded logic ware and embedded software. Digital Core Technologies’ SoM modules are available now.

Conclusive Engineering provides a full stack of embedded system services, including hardware, firmware, operating systems, applications and user interfaces. Their RCHD-PF SoMs based on our PolarFire SoCs are available now.