Subject: Re: machine/intr.h missing when compiling kernel
To: Mike Long <mike.long@analog.com>
From: matthew green <mrg@eterna.com.au>
List: current-users
Date: 05/16/1996 11:57:03 
   
   FYI, kernel builds do not use the headers in /usr/include; they use
   the headers from /sys/sys, &c., directly.  So executing 'make
   includes' does not affect kernel builds at all.

actually, look at sys/arch/<foo>/<foo>/genassym.c .. at least
<stdio.h> is used.  yes, this is icky.