> Seriously, for starter, I need to find the exact kernel that Snappy uses (along with its defconfig for BBB). Yes. This would be a very useful reference point. Am I even looking in the right place for pointers (here: http://kernel.ubuntu.com/~kernel-ppa/mainline/linux-3.19.y.z-review/current/README) ?