sorry could you give me some help about the L4ka build
i have so problem when compile the L4ka user-level application

i do step by step from
http://l4ka.org/projects/pistachio/ia32/gettingstarted.php
when build user-level code there is a problem

root@wap-desktop:~/l4ka-pistachio/ia32-user-build# ../user/configure
--prefix=../ia32-user-install --with-kerneldir=../ia32-kernel-build
configure: error: can not find sources in ../user or ..
root@wap-desktop:~/l4ka-pistachio/ia32-user-build#

that show there is no source
is any thing i should to fix it

thinks a lot