Custom kernel

Currently (as of Linux v3.11) all the CRIU-related kernel patches are in vanilla kernel. That means there is no need for a custom kernel anymore.

In the future, CRIU team might start working on some new kernel stuff for CRIU again. In that case any new patches will first be available from the staging repository at

• http://git.kernel.org/?p=linux/kernel/git/gorcunov/linux-cr.git

Also, a Raspberry Pi specific kernel is available at

• https://github.com/avagin/linux-rpi-criu/tree/criu-rpi-3.11.y