Greetings Norman.

I have actually just gotten the "make run/seoul-fancy" to complete.

It seems that the seoul-fancy.run script is missing:  

 ./home/lonnie/genode/ports/run/seoul-fancy.run: No such file or directory

---------------------------------------------------------
lonnie@...223...:~/genode/build.lx$ make run/seoul-fancy
using run script /home/lonnie/genode/base-linux/run/env
using run script /home/lonnie/genode/ports/run/seoul-fancy.run
Download file bin/munich
Download file bin/bzImage-3.1
Download file bin/tc-browser.gz

Seoul is solely supported on NOVA.
---------------------------------------------------------

Any ideas?

Kind Regards and have a great day,