12-29-2020: Initial Setup of the PolarFire SOC Icicle Kit


I picked up the PolarFire SOC Icicle Kit during the crowd funding phase on Crowd Supply I’ve been playing around with the hardware off and on since I got it,

image of the polarfire SOC board

MicroChip Docs:

seL4 Port:


Script for terminal attach

After attaching with minicom manually a few times, I eventually found the script below, it comes from the seL4 Test o the PolarFire SOC documentation. It works pretty well, and uses tio (which I find much more pleasant to work with) instead of minicom.

tmux new-session -d -s 'polarfire-serial-dashboard'
tmux split-window -v
tmux split-window -h
tmux select-pane -t 0
tmux split-window -h
tmux respawn-pane -t0 -k "tio /dev/ttyUSB0"
tmux respawn-pane -t1 -k "tio /dev/ttyUSB1"
tmux respawn-pane -t2 -k "tio /dev/ttyUSB2"
tmux respawn-pane -t3 -k "tio /dev/ttyUSB3"
tmux select-layout tiled
tmux set -g mouse on
tmux attach-session -t 'polarfire-serial-dashboard'

I’ve also setup the scripts as a gist here: PolarFire SOC Icicle Gists

First Boot

After getting everything figured out I was able to boot, attached to all of the UART serial consoles attached, and interact with the linux login.

first boot

I was a little excited at this point, so I announced my accomplishment to the world: