Setting task priority in loader configuration script

Peter Howard pjh at
Mon Jun 23 04:43:21 CEST 2014

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},

But I'm not seeing any difference from that, with priority < 0x10, >
0x10, or unset.  (I got the 0x10 value from

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


Peter Howard <pjh at>

More information about the l4-hackers mailing list