RE: reading a file from kernel?