Where can I find the kernel source for Udoo Quad? I took a look to https://github.com/archlinuxarm/PKGBUILDs, but I didn't find a directory for Udoo Quad.
Should I use a generic ARM v7? What are thye sources used for the Udoo ArchLinux package?
Roberto