Aggelos Economopoulos added an interesting feature for virtual kernels: the memory of a given virtual kernel is now accessible directly at /proc/$pid/mem .