Hello! I'm trying to configure the user-level code of L4 as written in instruction: http://l4ka.org/projects/pistachio/ia32/gettingstarted.php but there is no configure file in the user directory: debian:/home/svet/l4dev/l4ka-pistachio-081128-01/ia32-user-build# ../user/configure --prefix=../ia32-user-install --with-kerneldir=../x86-kernel-build bash: ../user/configure: No such file or directory debian:/home/svet/l4dev/l4ka-pistachio-081128-01/ia32-user-build# cd ../user; ls apps config.mk.in configure.in contrib include INSTALL install-sh lib Makefile.in Mk README.HG serv util In INSTALL file I read that the configure file should be in the main source directory of L4: <...> The simplest way to compile Pistachio using separate build directories is: 1. Create a directory BUILDDIR to host the build tree. 2. `cd' to the newly created BUILDDIR directory and run the `configure' script located in the main source directory. For example, if you create a directory `SRCDIR/build' and `cd' to this directory, you can run `../configure' to invoke the configure script. <...> but there is no such file too: debian:/home/svet/l4dev/l4ka-pistachio-081128-01/user# cd ..; ls AUTHORS contrib doc ia32-user-build kernel tools user x86-kernel-build What should I do to build the L4? Also this problem is described in message: http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg03449.html With the best regards, Svet.