Page History

...

All steps to format / setup a bootable SD card can only be performed within a Linux installation.
(Windows Subsystem for Linux is not capable to format a SD card)

An installation of INTEL SoC FPGA EMBEDDED DEVELOPMENT SUITE, so the tooltools
bsp-editor, alt-boot-disc-util (mk(p)image) is and SoC EDS Command Shell are present.

Background

The boot process of the HPS consists of several stages:

...