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_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
