Stephen, Thanks, your suggestion works... thanks Peng
On Wed, Jan 11, 2017 at 9:51 PM, <[email protected]> wrote: > Hi Peng, > > > It looks like the arm toolchain in our instructions (arm-none-eabi) is > different from the one in the build configs in the camkes-arm-vm project. > Possible solutions for you: > > - change the toolchain to arm-none-eabi: make menuconfig -> Toolchain > Options -> Cross compiler prefix -> Change to "arm-none-eabi-" > > - install the arm-linux-gnueabi toolchain > > > Regarding the "While rendering Makefile: unhandled exception in template > Makefile: macro() takes exactly 6 arguments (7 given)" error, I'm unable > to reproduce it. Can you give some details about your build environment > (os, distro, etc). > > > Cheers, > > Stephen > > > ------------------------------ > *From:* PX <[email protected]> > *Sent:* Thursday, 12 January 2017 12:56 PM > *To:* Sherratt, Stephen (Data61, Kensington NSW) > *Cc:* [email protected] > *Subject:* Re: [seL4] question about SEL4PROJ /camkes-arm-vm-manifest > > 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: >>> >>> >>> 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 > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
