Hi, all thanks for the answers. I have some problems with the dependency, gcc-multilib, required by Camkes next. I install all other dependencies except this one, the compiler seems to work. But when I install gcc-multilib, the compiler stops working at very beginning and prompts the error as
"~/kernel/Makefile:233: *** arm-linux-gnueabi-gcc not in PATH or not executable. Stop. tools/common/project.mk:254: recipe for target 'kernel_elf' failed" It seems to me that gcc can not be found, because gcc-multilib removes these libraries. Do I really need this dependency to install Camkes next? thanks Peng On Wed, Jan 11, 2017 at 8:14 PM, PX <[email protected]> wrote: > 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.system >> s/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
