thanks, Stephen
You are right, after pip install siz, tempita and pyelftools, the  camkes-accelerator can be successfully generated and compiled. But I have a new problem when the compiler tries to generate camkes-gen.mk. I get the following error:

"
[GEN] camkes-gen.mk
ERROR:CAmkES:While rendering Makefile: unhandled exception in template Makefile: macro() takes exactly 6 arguments (7 given)
/home/dev/Documents/new_vmm/tools/camkes/camkes.mk:136: recipe for target '/home/dev/Documents/new_vmm/build/arm/tk1/vm/camkes-gen.mk' failed
make[1]: *** [/home/dev/Documents/new_vmm/build/arm/tk1/vm/camkes-gen.mk] Error 255
make[1]: *** Deleting file '/home/dev/Documents/new_vmm/build/arm/tk1/vm/camkes-gen.mk'
tools/common/project.mk:320: recipe for target 'vm' failed
make: *** [vm] Error 2"

It seems that Camkes does not work. I am not sure which branch of Camkes used in this project. Any suggestion?

thanks
Peng



On Wed, Jan 11, 2017 at 7:27 PM, <Stephen.Sherratt@data61.csiro.au> wrote:

Hi Peng,


This is typically due to missing some dependencies of the camkes-accelerator. Instructions for setting up your machine to build camkes (and its accelerator) are here: https://wiki.sel4.systems/CAmkESNext


If you send details of the compiler errors you're getting I can be more specific.


Cheers,

Stephen



From: Devel <devel-bounces@sel4.systems> on behalf of PX <seawolf.peng@gmail.com>
Sent: Wednesday, 11 January 2017 12:20 PM
To: devel@sel4.systems
Subject: [seL4] question about SEL4PROJ /camkes-arm-vm-manifest
 
Hi, all
I try to  build a TK1 ARM VMM image from the source code SEL4PROJ/camkes-vm-manifest in GitHub.  However, I can not compile it. I get errors when the compiler tries to build "camkes-accelerator" . 

I don't put any new code yet. I just: 1) repo init the url ; 2) repo sync; 3) make tk1_vm_defconfig; and 4) make.

Did I do something wrong here?

thanks
Peng








_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel