On 21 Nov 2015, at 12:55 pm, Bryan Ching &lt;bryanching7373(a)gmail.com&gt; wrote: Also, I was looking at the vm.camkes file in apps/vm and noticed where it was importing from. The files says "import <VM/vm.camkes>". 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 &lt;bryanching7373(a)gmail.com&gt; 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(a)sel4.systems https://sel4.systems/lists/listinfo/devel

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 wrote: However, I get the following error. /home/bryan/camkes-vm/build/x86/pc99/vm/camkes-gen.mk: No such file or directory unresolved reference to VM Error 255 camkes-gen.mk' 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?