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 bryanching7373@gmail.com 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 bryanching7373@gmail.com 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 ihor.kuz@nicta.com.au 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 bryanching7373@gmail.com

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