Kernel repository used at Scaleway (branch-oriented) - View it on GitHub