KernelPlayground :: A playground for the linux kernel.