Work area for merging SolidRun, BoundaryDevices and Freescale linux kernels