Contains the kernel code for CSE451.  Seperate from 451repo for performance reasons.