Ok, attached is a simpler version of the clone-with-pid userspace, which works for me on s390 with the following patch on top of ckpt-v16-x86. -serge