[Microkernel-devroom] [TALK-PROPOSAL] Fixing memory management in HelenOS