Getting Started With Linux on ST40 Building the ST40 Linux kernel

A pre-built kernel is supplied with the RPMs in the lsp_binaries RPM. However if you want to start making changes to the kernel, then you'll need to build your own kernel. This is most easily done by using the lsp RPM as a starting point (as this has already been configured), however if you want to start completely from scratch the then kernel RPM can be used.

For more details, see The Linux Kernel Binary and Source Tree chapter in the HardHat documentation.