L4Linux with IPC

Ahmed Makkawi ahmed0makkawi at gmail.com
Thu Feb 25 18:20:08 CET 2016


Hi ba_f,

Sounds like a good plan, If I was able to make it run I will post the
solution, or hopefully if someone from the hacking list would give us a
quick solution to it.

On Thu, Feb 25, 2016 at 4:53 PM, ba_f <ba_f at rbg.informatik.tu-darmstadt.de>
wrote:

> Hello,
>
>
>
> actually i'm working on the same issue.
>
> http://os.inf.tu-dresden.de/pipermail/l4-hackers/2016/007767.html
>
>
>
> 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.
>
>
>
>
>
> Greets,
>
> ba_f
>
>
>
>
>
>
>
> 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
>
>
>
>
> _______________________________________________
> 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/a6ad9e0c/attachment.html>


More information about the l4-hackers mailing list