ifstream

[Eddie Kohler]

Hi Tom,

This is the same problem you had before. Again, the standard C and C++
libraries are only available at user level. You cannot use ifstream in the
kernel. It is pretty difficult to use files in the kernel at all. :(

Eddie