PolarFire SoC Icicle Kit

by Microchip

A low-cost dev kit for Microchip's PolarFire SoC, a low-power FPGA integrated with a hardened quad core 64-bit RISC-V microprocessor subsystem

View all updates Sep 18, 2020

Delivery Status, Quick Start Guide, and seL4 Port

Our delivery schedule has slipped by two weeks as we fix a firmware issue. In the meantime, check out our quick start guide and DornerWorks’ guide on using the hardened seL4 microkernel.

Delivery Status

The Icicle Kit hardware is ready to go, but we’re still fixing an issue with the firmware on the FlashPro programmer embedded on the board. Specifically, the FlashPro currently supports programming, but does no yet support debugging. The fix is straightforward, but will unfortunately push our initial delivery date to September 30, 2020.

Quick Start Guide

We’ve published the official PolarFire SoC Icicle Kit Quick Start Guide! It details the hardware, software, toolchain, getting started demos, and more.

Using the Formally Verified seL4 Microkernel

DornerWorks, one of Microchip’s Authorized Design Partners, recently ported to PolarFire SoC Icicle Kit the seL4 secure microkernel, an open source, high-performance, formally verified operating system microkernel. The implementation of seL4 is mathematically proven to be correct (bug-free) against its specification, which makes it a great foundation for high-assurance domains such as medical devices and aerospace. The post detailing the port includes a video and step-by-step instructions.

Screen capture showing PolarFire SoC Icicle Kit running seL4

$117,749 raised

of $1 goal

Funded! Order Below

Product Choices


PolarFire SoC Icicle Kit

This kit includes the Icicle development board, a quick-start instructions card, a 12 VDC / 5 A power adapter and cord, an Ethernet cable, and a micro USB cable.



Microchip Technology Inc. is a leading provider of microcontroller, analog, FPGA, connectivity, and power management semiconductors. Its easy-to-use development tools and comprehensive product portfolio enable customers to create optimal designs which reduce risk while lowering total system cost and time to market. The company’s solutions serve more than 130,000 customers across the industrial, automotive, consumer, aerospace and defense, communications, and computing markets. Get Launched is a start-up and incubator support program which helps companies achieve rapid time-to-production/market by utilizing Microchip’s technical expertise to advise throughout the design process.


RISC-V cores

See Also

Subscribe to the Crowd Supply newsletter, highlighting the latest creators and projects: