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, <[email protected]> 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 <[email protected]> on behalf of PX < > [email protected]> > *Sent:* Wednesday, 11 January 2017 12:20 PM > *To:* [email protected] > *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 > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
