AN 709: HPS SoC Boot Guide - Cyclone V SoC Development Kit

ID 683265
Date 1/27/2016
Public Linux Kernel

The Linux kernel can be made to start faster, and there is a lot of material in the Linux community on how to achieve this. For example, removing debugging capabilities and various unneeded drivers and features.