Re: [seL4] CAmkES-vm Configuration

HI Bryan, The vmware configuration has not been kept up-to-date and so has bitrotted. It is not expected to work. With regards your error message, the relevant message is actually not “...camkes-gen.mk: No such file or directory” - this is just CAmkES realising that it has to create that file. It’s later on when it tries to creat the camkes-gen.mk file that it runs into trouble with "While transforming AST: /home/bryan/camkes-vm/apps/vm/vm.camkes:4: unresolved reference to VM”. It looks like it can’t find the VM component. This is typically because of some misconfiguration in the .config file, look at: CONFIG_CAMKES_IMPORT_PATH or with make menuconfig: "CAmkES Options" -> "Search path for components and interfaces" Ihor

On 21 Nov 2015, at 12:15 pm, Bryan Ching wrote:

Hi,

I was trying to configure the CAmkES-vm to run the vmware configuration. However, I get the following error.

[apps/vm] building... /home/bryan/camkes-vm/tools/camkes/camkes.mk:125: /home/bryan/camkes-vm/build/x86/pc99/vm/camkes-gen.mk: No such file or directory [GEN] camkes-gen.mk While transforming AST: /home/bryan/camkes-vm/apps/vm/vm.camkes:4: unresolved reference to VM make[1]: *** [/home/bryan/camkes-vm/build/x86/pc99/vm/camkes-gen.mk] Error 255 make[1]: *** Deleting file `/home/bryan/camkes-vm/build/x86/pc99/vm/camkes-gen.mk' make: *** [vm] Error 2

I have seen this error before. This time, I used the "make menuconfig" command. I go to Applications --> VMM Main Application --> Configuration. I type in "vmware" to try and configure it. When I am back on the command line, I type "make vmware_defconfig" and then "make silentoldconfig" and finally "make". Where is the camkes-gen.mk file supposed to be located?

Thanks, Bryan _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel