Multiple IPC_Gate channels per task

Adam Lackorzynski adam at
Fri Jun 13 22:08:32 CEST 2014

Hi Charles,

On Thu Jun 12, 2014 at 10:34:23 -0400, professor xavier wrote:
> I am a newbie to L4 and have a simple question about the IPC_Gate feature.
> Can a single task support multiple IPC_Gates? If so, can you please provide
> an example of a *.cfg script that shows this?

Sure. Just create multiple 'channels' and put them into the 'caps'

local one = L4.default_loader:new_channel();
local two = L4.default_loader:new_channel();
L4.default_loader:start({caps = { eins = one, zwei = two }}, ... );

Adam                 adam at

More information about the l4-hackers mailing list