Multiple IPC_Gate channels per task

[Adam Lackorzynski]

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'
table.

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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/