Hi. 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? 2) If it is essential module for L4, the size of L4 microkernel must include RMGR size? I want to get related papers or documentation. have a good time, everybody~~~