°í¿µ¿õ yuko@os.korea.ac.kr writes:
Anyone know the relation between L4 and RMGR? I cannot understand. -_-
I want to know
- 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.
- 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