What is RMGR?

[Michael Hohmuth]

°í¿µ¿õ <yuko at os.korea.ac.kr> writes:

> Anyone know the relation between L4 and RMGR?
> I cannot understand. -_-
> 
> I want to know  
> 1) If L4 kernel could boot without RMGR?. RMGR is essential part of L4?

Yes, and no, respectively.  It is well possible to construct L4-based
or Fiasco-based systems without Rmgr, and we have done so in the past.
However, nowadays we always use Rmgr because it provides a very
convenient way for bootstrapping a system.

> 2) If it is essential module for L4, the size of L4 microkernel must
> include RMGR size?

Even then it probably wouldn't count because once the system is up and
running, Rmgr is mostly idle.  It certainly doesn't hurt the system
performance because it doesn't induce a measurable load on the CPU
caches.

> I want to get  related papers or documentation.

Except for the manpage at
<URL:http://os.inf.tu-dresden.de/L4/l4libman/rmgr.html>, there aren't
any.  Rmgr just happens to be an application everyone uses.

Michael
-- 
hohmuth at innocent.com, hohmuth at sax.de
http://www.sax.de/~hohmuth/