AN 709: HPS SoC Boot Guide - Cyclone V SoC Development Kit
ID
683265
Date
1/27/2016
Public
1.3.1.5. 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.