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.
