Hi,


I have been trying to port python2.6 into Genode in tz_vmm demo.

I did the following steps.

- In the Genode source directory  <source directory>/repo/libports
      make prepare PKG=python

- Uncomment the following line in <build directory>/etc/build.conf

      REPOSITORIES += $(GENODE_DIR)/libports

- Add 'python.lib.so' to the boot module list in the tz_vmm run script.

- Add 'python' in the target file of the tz_vmm as follows
       LIBS     += python
     
Finally, I got the following error when I compiled the tz_vmm run script.

Program core/core
    COMPILE  kernel/test.o
    LINK     core
make[1]: Leaving directory `/home/genode/build/hw_imx53_qsb_tz'
genode build completed
cp: cannot stat ‘bin/tz_vmm’: 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 "run_boot_dir" line 14)
    invoked from within
"run_boot_dir $binaries"
    (procedure "build_boot_image" line 2)
    invoked from within
"build_boot_image [join $boot_modules " "]"
    (file "/home/genode/repos/os/run/tz_vmm.run" line 262)
    invoked from within
"source $include_name"
    ("foreach" body line 6)
    invoked from within
"foreach include_name [get_cmd_arg --include ""] {
    # first check if the include name is absolute
    if {[string first "/" $include_name] == 0} {
        puts ..."
    (file "/home/genode/tool/run/run" line 642)
make: *** [run/tz_vmm] Error 1

Could anyone have an idea how to fix this error?


Thanks,
Abhay