Re: reading a file in the kernel