Re: [seL4] CAmkES-vm Configuration

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