Kernel driver for GPIO
Where can we find the kernel driver for the Up^2?
My applications requires an RT kernel (which available in upstream Debian), so I can't use the kernel that comes with ubilinux.
Are there any instructions on how to compile a kernel for the Up^2?
The documentation (here) is very sparse.