BSP kernel of the VIA VAB-820 based on the Freescale BSP