Setting task priority in loader configuration script

[Peter Howard]

Dear all,

I've looked through the documentation, but it doesn't seem clear how you
set the priority of a task as you create it from a .cfg script.

I've tried:

loader:start({caps = {
               ...
               },
               l4re_dbg = L4.Dbg.Warn,
               log = {"foo", "red" },
               priority = 100},
         "rom/foo");

But I'm not seeing any difference from that, with priority < 0x10, >
0x10, or unset.  (I got the 0x10 value from
http://os.inf.tu-dresden.de/l4env/doc/html/loader/p_script.html)

So, is that the correct way?  If now, what is the correct way to specify
priority?

Thanks,

-- 
Peter Howard <pjh at northern-ridge.com.au>