l4/pkg/examples/sys/map_irq/ex_map_irq.cfg

   1 -- (c) 2014 Steffen Liebergeld <steffen.liebergeld@kernkonzept.com>
   2 -- Licensed under the terms of the GNU General Public License 2.
   3 -- See file COPYING-GPL-2 for details.
   4
   5 -- Example config for map_irq
   6 local L4 = require("L4");
   7
   8 -- create a shortcut for L4.default_loader
   9 local l = L4.default_loader;
  10
  11 -- create a communication channel
  12 local channel = l:new_channel();
  13
  14 -- start the server
  15 l:start({
  16           caps = {
  17             -- Give the channel (an IPC gate) to the server
  18             -- The "svr()" directive instructs the loader
  19             -- to supply the capability with server permissions
  20             ex_map_irq = channel:svr()
  21           },
  22           -- configure log output: tag = server, color = magenta
  23           log = { "server", "m" },
  24         }, "rom/ex_map_irq_server");
  25
  26 -- start the client
  27 l:start({
  28           caps = {
  29             ex_map_irq = channel -- give the channel to the client
  30           },
  31         log = {"client", "y"},
  32         }, "rom/ex_map_irq_client");