PolarFire SoC Icicle Kit

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

Sep 18, 2020

Project update 3 of 5

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

Sign up to receive future updates for PolarFire SoC Icicle Kit.

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