Re: yet another DECstation kernel

[Harald Koerfgen <hkoerfg1@ford.com>]

Hi all,

ralf@uni-koblenz.de wrote:
> 
> On Sun, Feb 08, 1998 at 06:49:39PM +0000, Peter wrote:
> 
> > Hrmm.. makes sense, but it sure looks like it wants stdio.h to compile the
> > kernel...
> 
> No kernel code should ever include kernel header files.
> 
>   Ralf

I assume you meant "No kernel code should ever include non kernel header
files" and I totally agree. Actually the DECstation kernel contains code
borrowed from milo and it looks like an #include <stdio.h> slipped into
the kernel. I'll fix this ASAP.

regards,
Harald