This would be the vm.camkes file in the VM component: https://github.com/seL4/camkes-vm/blob/master/components/VM/vm.camkes Ihor

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

Also, I was looking at the vm.camkes file in apps/vm and noticed where it was importing from. The files says "import ". Is there another vm.camkes that the file is importing or is this referencing itself?

Thanks

On Fri, Nov 20, 2015 at 5: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

Hi Ihor, Thanks for the response. I did check the .config file and make menuconfig option. Both of them say the following: CONFIG_CAMKES_IMPORT_PATH="${PWD}/projects/vm/components ${PWD}/projects/vm/interfaces". The vm.camkes file that is being searched for is located in $(PWD)/projects/vm/components/VM/vm.camkes. I don't see anything wrong with the current set up. Do you think there is an error here? Thanks, Bryan On Mon, Nov 23, 2015 at 9:06 PM, Ihor Kuz wrote:

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