Demonstrating compiling and working on proofs for the Linux kernel on Ubuntu 14.04 - View it on GitHub