Re: Gnumach clean: Need advice, re Header files

[Roland McGrath]

> OK, thanks for the reply.  Then should my printf.h move under kern/ where 
> printf.c is?  

I haven't looked at the changes myself.  If any files have been added to
include/, it sounds like there is some inadequate review going on before
commits.  Folks, don't go hog-wild when you don't really know what you're
doing.  

> Also, is it proper to add a declaration of panic() to kern/debug.h and
> then include debug.h in the appropriate files?

That sounds fine.  It's only really useful if you are trying to make things
compile cleanly with -Wimplicit or something.