I think the solution to the communication of an application on l4linux with an application on l4re would be to implement an ipc stream in the character device module in the l4linux kernel to communicate with the IPC stream on l4re application.

the Problem now is l4linux modules are in C and the l4re application is in C++, is this a good idea to start searching in it or its a dead end and maybe someone would have a better idea to work on ?

Ahmed Makkawi