Help building L4 kernel for Pentium (IA32)

Hi,
 I have been trying to build L4 kernel as per the instructions given in the webpage at the following link. 
 
 http://l4ka.org/projects/pistachio/ia32/gettingstarted.php
 
 Initially I downloaded the tar ball and found out that there were some compilation issues. Later I downloaded the kernel from CVS and made some progress. 
 
 I have been getting the following error when I try to configure user-level. 
 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. 
 
 [root@localhost ia32-user-build]# ../user/configure.in --prefix=../ia32-user-install --with-kerneldir=../ia32-kernel-build
 ../user/configure.in: line 1: dnl: command not found
 ../user/configure.in: line 2: dnl: command not found
 ../user/configure.in: line 3: syntax error near unexpected token `('
 ../user/configure.in: line 3: `dnl Copyright (C) 2006,  Karlsruhe University'
 
 Could you please help me out by identifying what has gone wrong?
 I would appreciate it. 
 Thanks
 Velu
 
 
---------------------------------
Have a burning question? Go to Yahoo! Answers and get answers from real people who know.