Project update 3 of 5
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.
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.
We’ve published the official PolarFire SoC Icicle Kit Quick Start Guide! It details the hardware, software, toolchain, getting started demos, and more.
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.