This step completed well.
11. Now go into the "build" directory and do the make for seoul
.
.
COMPILE model/vbios.o
COMPILE model/vcpu.o
COMPILE model/vga.o
COMPILE network.o
COMPILE nova_user_env.o
LINK vancouver
Library launchpad
COMPILE launchpad.o
MERGE launchpad.lib.a
Program app/launchpad/launchpad
COMPILE launcher.o
COMPILE launchpad_window.o
COMPILE main.o
LINK launchpad
make[1]: Leaving directory `/home/lonnie/genode/gnova64'
genode build completed
cp: cannot stat `bin/nic_drv': No such file or directory
while executing
"exec cp bin/$binary [run_dir]/genode"
(procedure "copy_and_strip_genode_binaries_to_run_dir" line 4)
invoked from within
"copy_and_strip_genode_binaries_to_run_dir $binaries"
(procedure "build_boot_image" line 6)
invoked from within
"build_boot_image $boot_modules"
(file "/home/lonnie/genode/ports/run/seoul.inc" line 403)
invoked from within
"source ${genode_dir}/ports/run/seoul.inc"
(file "/home/lonnie/genode/ports/run/seoul-fancy.run" line 52)
invoked from within
"source $include_name"
("foreach" body line 3)
invoked from within
"foreach include_name [get_cmd_arg --include ""] {
puts "using run script $include_name"
source $include_name
}"
(file "/home/lonnie/genode/tool/run" line 812)
make: *** [run/seoul-fancy] Error 1
lonnie@...223...:~/genode/gnova64$
Looks like I am making progress, but still some things not yet completed.