13 Jun
2014
13 Jun
'14
10:08 p.m.
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@os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/