question about SEL4PROJ /camkes-arm-vm-manifest - Devel - lists.sel4.systems

newer
quesitons about TK1 VMM

question about SEL4PROJ /camkes-arm-vm-manifest

older
Overly eager xsave size rejection

PX

11 Jan 2017 11 Jan '17

12:20 p.m.

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

Attachments:

attachment.html (text/html — 605 bytes)

Reply

Sign in to reply online Use email software

Show replies by date

Stephen.Sherratt＠data61.csiro.au

12 Jan 12 Jan

11:27 a.m.

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 on behalf of PX 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

Reply

Sign in to reply online Use email software

PX

12:14 p.m.

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, 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 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

Reply

Sign in to reply online Use email software

PX

12:56 p.m.

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 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, 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 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

Reply

Sign in to reply online Use email software

Stephen.Sherratt＠data61.csiro.au

1:51 p.m.

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 Sent: Thursday, 12 January 2017 12:56 PM To: Sherratt, Stephen (Data61, Kensington NSW) Cc: devel@sel4.systems 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:254http://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 mailto:seawolf.peng@gmail.com> 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.mkhttp://camkes-gen.mk. I get the following error: " [GEN] camkes-gen.mkhttp://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:136http://camkes.mk:136: recipe for target '/home/dev/Documents/new_vmm/build/arm/tk1/vm/camkes-gen.mkhttp://camkes-gen.mk' failed make[1]: *** [/home/dev/Documents/new_vmm/build/arm/tk1/vm/camkes-gen.mkhttp://camkes-gen.mk] Error 255 make[1]: *** Deleting file '/home/dev/Documents/new_vmm/build/arm/tk1/vm/camkes-gen.mkhttp://camkes-gen.mk' tools/common/project.mk:320http://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, mailto: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: If you send details of the compiler errors you're getting I can be more specific. Cheers, Stephen ________________________________ From: Devel on behalf of PX mailto: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

Reply

Sign in to reply online Use email software

PX

13 Jan 13 Jan

7:51 a.m.

Stephen, Thanks, your suggestion works... thanks Peng On Wed, Jan 11, 2017 at 9:51 PM, 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 *Sent:* Thursday, 12 January 2017 12:56 PM *To:* Sherratt, Stephen (Data61, Kensington NSW) *Cc:* devel@sel4.systems *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 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, 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 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

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

Reply

Sign in to reply online Use email software

2898

Age (days ago)

2899

Last active (days ago)

Download

5 comments

2 participants

tags

participants (2)

PX
Stephen.Sherratt＠data61.csiro.au