Hi,The kernel tree for 96boards boards is located here:It currently has three branches:1) 'hikey' - 3.18 based hisilicon vendor kernel for the hikey board2) 'master' - unmodified Linus Torvalds' linux, currently 4.0.0-rc13) 'hikey-mainline-rebase' - cherry-picked patches from the vendor branch rebased on top of latest Torvalds, currently 4.0.0-rc1