L4Linux priority

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon May 2 18:57:59 CEST 2005

On Mon May 02, 2005 at 15:29:28 +0200, Leon Brits wrote:
> One is able to set the priority of L4Linux in the loader config file
> with the "priority" parameter.
> Q1: How can I change this priority dynamically after the Linux server
> has been loaded?

There's no such feature, you'll need to code that yourself. But pay
attention to keep the priority orders of the L4Linux threads.

> Q2: Which tasks has the rights to do this - only RMGR?

Every thread with the high enough MCP can do this, RMGR is one of them.
librmgr even has an interface for changing prios.

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list