Linking a L4 library with a L4Linux app?

Leon Brits ljbrits at
Thu Feb 24 15:26:52 CET 2005


Thanks - It works!!!

> But be aware that, as
> Adam said, the Linux server is not aware of memory from external data-
> spaces. So read/write syscalls don't work with this memory. To use these

So as long as only my Linux app/kernel module accesses the data all is
fine but to make it available to another Linux app I need to copy it to
Linux allocated memory. Is this correct?

> you had to use double buffering.
What is double buffering? [The last time I heard this term was with
graphics device drivers]

Thanks again

More information about the l4-hackers mailing list