Kernel Mode Linux : Execute user processes in kernel mode Kernel Mode Linux Patch for Linux Kernel 4.0 (for IA-32, AMD64, MicroBlaze, and ARM) (last updated 2015-04-16 : version 4.0_001. ChangeLog (for 4.*). Old versions (for 4.*)) Kernel Mode Linux Patch for Linux Kernel 3.19 (for IA-32, AMD64, MicroBlaze, and ARM) (last updated 2015-04-12 : version 3.19_001. ChangeLog (for 3.*). Old versions (fo