L4linux kernel module and IPC problem

Leon Brits ljbrits at gmail.com
Fri Apr 29 06:45:57 CEST 2005

Hi all,

I've created some test code in a L4 Task, L4Linux App and L4Linux Kernel
(2.4.28) module that communicates using short IPC messages. It works
fine except that it seems that I can not send an IPC message to the
L4Linux App from the Kernel Module (reverse is fine). l4_ipc_send() does
not report any errors, but the App does not receive anything and the
register values contains some 'random' values.

Any suggestions for the reason?
Suggestions as to how to debug this problem is appreciated!


More information about the l4-hackers mailing list