[okl4-developer] Okl4_notify_wait() use

[Xavier.LANGELLIER at fr.thalesgroup.com]

Hi,

I'm trying to modify the decrypt cell example to test IPC communication and security policy with OKL4 and I have a problem.
I replaced the asynchronous notification by synchronous IPC in the decrypt cell with okl4_message_wait() but with this function my system crashes at startup. (if I put okl4_notify_wait() i have no problem to start)

SETUP_SEGMENT: P:0x418a000..0x418b000, rwx:6, attrib:ff
MAP_MEMORY: V:0x80215000 O:0x0 (P=418a000) S:0x1000 N:0xf A=0x3 R=0x6
SETUP_SEGMENT: P:0x4cb8000..0x4cb9000, rwx:6, attrib:ff
MAP_MEMORY: V:0x80208000 O:0x0 (P=4cb8000) S:0x1000 N:0x10 A=0x3 R=0x6
CREATE IPC CAP: clist_ref=24, cap_slot=1, thread_ref=18c
CREATE IPC CAP: clist_ref=138, cap_slot=1, thread_ref=48
--- KD# User: L4_Rootserver abort()ed ---

What can I do to solve this problem?
Thanks.

Xavier Langellier.