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 [EMAIL PROTECTED]:~/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 .. [EMAIL PROTECTED]:~/l4ka-pistachio/ia32-user-build# that show there is no source is any thing i should to fix it thinks a lot
_______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
