L4Linux with IPC

ba_f ba_f at rbg.informatik.tu-darmstadt.de
Thu Feb 25 16:53:54 CET 2016



actually i'm working on the same issue. 


First, you have to write a Linux Driver that is responsible for L4_IPC. 

You can't call any L4 stuff directly from a Linux-App. 

Unfortunately, something is wrong with my code. 

Maybe, i miss a header or something. 

Please, let me know when you have success on this topic. 



Am 2016-02-25 13:25, schrieb Ahmed Makkawi: 

> Hi All,
> 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.
> BR,
> Ahmed Makkawi 
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20160225/9dc37e44/attachment.html>

More information about the l4-hackers mailing list