On Mon, Jun 11, 2001 at 12:01:06AM +0200, Ulrich Weigand wrote:
> In your case, if you have a full linux source tree under
> /home/aaronl/src/linux (this means for example that the MAINTAINERS
> file resides at /home/aaronl/src/linux/MAINTAINERS), then you are
> supposed to run configure with the argument
> --with-linux-source=/home/aaronl/src/linux
>
> Then, the Makefile will append '/include' and pass the option
> -I /home/aaronl/src/linux/include to the compiler.
I think the only unsolved problem I'm experiencing is that
/usr/include is also in the include path, because it's done
automatically by GCC. This was causing plex86's build to use libc's
kernel headers, rather than the one in my kernel source dir. This was
the source of most of my confusion and inaccurate reports. I would
suggest using the -nostdinc option, but plex86's kernel side seems to
use things like <stdarg.h> (although - isn't it bad form to every use
libc headers in kernel space?).
At least, I hope I'm not wrong here too ;-).