How to get a linux kernel debug environment - View it on GitHub