Im trying to make a simple communication between an application running on L4linux and application running on L4re, so far I managed to make a server client application running on L4re to communicate using IPC, but I dont know how to make the L4Linux take the msg from the IPC channel and pass it to the character device I have running on L4Linux and vice versa.