I've been documenting my experience bringing up Debian with a v3.14 kernel here[1]. I've also documented how to modify the Devicetree as well as build a new kernel. Let me know if anything needs clarification or correction. Hopefully someone else finds it useful!
Cheers, - Ben [1] http://www.smart-cactus.org/~ben/posts/2014-09-12-bringing-up-debian-on-bbb.html
pgptWGhEXqzm9.pgp
Description: PGP signature
