Hi everyone:

  I try to run vm on seL4. 

  I have downloaded VM project using "repo init -u https://github.com/seL4/camkes-vm-manifest.git". 

  I use commands:

      make cma34cr_twovm_defconfig

      make silentoldconfig

      make 

to compile the project, but here reports problems.

  The first problem is, it can not find libpicotcp. I have check the source code, it doesn't include directory libs/libpicotcp/.

So I get rid of the libpicotcp part by comment it in the Kconfig file.

  Next, the other problem accurs as blowing:

"/home/dengchao/mj/camkes-vm/tools/camkes/camkes.mk:137: /home/dengchao/mj/camkes-vm/build/x86/pc99/cma34cr_twovm/camkes-gen.mk: No such file or directory

  [GEN] camkes-gen.mk

ERROR:CAmkES:/home/dengchao/mj/camkes-vm/apps/cma34cr_twovm/vm.camkes:23:19:         component Echo echo;

ERROR:CAmkES:                                                                                  ^^^^^^

ERROR:CAmkES:non-optional interface echo.timer is not connected

make[1]: *** [/home/dengchao/mj/camkes-vm/build/x86/pc99/cma34cr_twovm/camkes-gen.mk] error 255"

  

  I have tried config the project to cma34cr_singlevm_defconfig or cma34cr_ubuntu_defconfig, also repors the same error.

  And the c162_twovm config, seems it had also been removed for the camkes-vm project?

  Could anyone rely me on the kindness?

                                                yours DengChao