Re: L4linux kernel module and IPC problem