Re: some question bout L4 memory management