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