Dave DAVE Embedded Systems adds to the latest Linux BSP from Freescale the customization required to support the Axel platform. For this reason most of the documentation provided by Freescale remains valid for the XELK development kit. However, some customization is required, in particular at bootloader and linux kernel levels.