This repository contain the sources of the kernel linux for UDOO.