RE: Help building L4 kernel for Pentium (IA32)

Velu,

> First, when I tried to run the configure command as per the webpage, I
got
> the following error.
> [root@localhost ia32-user-build]# ../user/configure
--prefix=../ia32-user-
> install --with-kerneldir=../ia32-kernel-build
> bash: ../user/configure: No such file or directory
> [root@localhost ia32-user-build]#
> 
> Later, I figured that the file was actually called configure.in and
tried
> to use it as follows and again got a different errror.

You don't need to invoke configure.in. Rather, you need to build the
configure script from configure.in using autoheader/autoconf. Have a
look at the file README.CVS in pistachio/user.

Cheers,
-Jan