about L4ka build
"ANPING WANG" <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel,gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
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 _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers