Re: reading a file from kernel?