Re: l4vfs and stdin/stdout handles