Greetings Stefan,
I have stared back from scratch on rebuilding Genode on Nova and made it to this:
lonnie@...223...:~/genode/nova64$ make run/seoul-fancy using run script /home/lonnie/genode/base-nova/run/env using run script /home/lonnie/genode/ports/run/seoul-fancy.run building targets: core init drivers/timer drivers/rtc vancouver drivers/pci drivers/input drivers/acpi drivers/pci/device_pd drivers/nic server/nic_bridge drivers/framebuffer server/nitpicker server/liquid_framebuffer app/launchpad server/nitlog spawn make core init drivers/timer drivers/rtc vancouver drivers/pci drivers/input drivers/acpi drivers/pci/device_pd drivers/nic server/nic_bridge drivers/framebuffer server/nitpicker server/liquid_framebuffer app/launchpad server/nitlog make[1]: Entering directory `/home/lonnie/genode/nova64' checking library dependencies... Skip target drivers/framebuffer/exynos5 because it requires exynos5 Skip target drivers/framebuffer/imx53 because it requires imx53 Skip target drivers/framebuffer/omap4 because it requires omap4 Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x platform_pbxa9 Skip target drivers/framebuffer/pl11x/vea9x4 because it requires pl11x platform_vea9x4 Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x platform_vpb926 Skip target drivers/framebuffer/rpi because it requires platform_rpi Skip target drivers/framebuffer/sdl because it requires linux sdl Skip target drivers/input/imx53 because it requires imx53 Skip target drivers/input/ps2/pl050 because it requires pl050 Skip target drivers/nic/lan9118 because it requires lan9118 Skip target drivers/nic/linux because it requires linux Skip target vancouver/32bit because it requires 32bit Library platform MERGE platform.lib.a Library cxx COMPILE exception.o COMPILE guard.o COMPILE malloc_free.o COMPILE misc.o COMPILE new_delete.o COMPILE unwind.o MERGE supc++.o CONVERT supc++.o MERGE cxx.lib.a Library syscall . . .
Library seoul_libc_support MERGE seoul_libc_support.lib.a /usr/local/genode-gcc/bin/genode-x86-ar: gen/errno.o: No such file or directory make[3]: *** [seoul_libc_support.lib.a] Error 1 make[2]: *** [seoul_libc_support.lib] Error 2 make[1]: *** [gen_deps_and_build_targets] Error 2 make[1]: Leaving directory `/home/lonnie/genode/nova64' Error: Genode build failed make: *** [run/seoul-fancy] Error 252 lonnie@...223...:~/genode/nova64$
Looks like I am getting closer. My build directory is called "nova64"
I also installed the latest pre-compiled toolchain " genode-toolchain-12.11-x86_64.tar.bz2http://sourceforge.net/projects/genode/files/genode-toolchain/12.11/genode-toolchain-12.11-x86_64.tar.bz2/download "
Well, the run script clearly states what's going wrong. Seoul currently can be built for Genode on top of NOVA only. It seems you're trying to compile it for another base platform. Assuming your build directory's name "build.lx" was choosen with intent, you're trying to compile it for Genode on top of Linux, which isn't possible. Just change to your NOVA build directory, or create it in the first place, and try it again.
Regards & merry X-mas Stefan
Thanks for the clarification on this part of the build as I do understand it now a little better.
Merry Christmas...... Lonnie