-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Hi again,
Why do you need Linux functions to do L4 IPC?
We need them, because we want to provide (L4)Linux kernel features to other L4/L4Linux tasks.
And why do you need to run the server thread in an IRQ context? Couldn't it just be a "normal" L4Linux thread?
Bjoern