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.bz2"



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