[PATCH 0/9] user-cr: support for pids as shared objects

[Oren Laadan]

Hi,

This patchset adds the necessary support in user-cr related to
handling of pids as proper shared objets. You must use this if you use
the corresponding kernel-cr patchset recetly posted.

Thanks,

Oren.