Hello, how can I share memory between two separate address spaces? I want to share some pages between a server and a client application but I can't figure out the L4_SpaceID_t of myself - so I'm wondering how to achieve this. Any help would be greatly appreciated. Thank you, ~Damien