Linking a L4 library with a L4Linux app?

[Leon Brits]

Frank,

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
Leon