Hello,
I tried to build genode with a l4linux on foc_x86_64 :
I found two issues:
1) in the builddir I call simply
make run/l4linux
and an error in dde_ipxe happend, that the "compiler.h" is not found.
Solution: in dde_ipxe have to be called:
make prepare
==> I suggest politely to add this hint in http://www.genode.org/documentation/platforms/foc (and the README)
since the README suggested to add the repository for dde_ipxe
2) the
make run/l4linux
returns to errors, because the l4linux binary is not found.
The problem is, that l4linux is not available for x86_64
(This is no problem, I just want to document why it is not working.)
Greetings
Rudolf Weber
------------------------------------------------------------------------------ This SF.net email is sponsored by Windows:
Build for Windows Store. http://p.sf.net/sfu/windows-dev2dev
_______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
