Using OCCAM to specialize the Linux Kernel - View it on GitHub