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,