CAmkES-vm Build Question - Devel - lists.sel4.systems

newer
Destroying the Root Thread

CAmkES-vm Build Question

Bryan Ching

12 Nov 2015 12 Nov '15

7:25 p.m.

Hi, I was just wondering for the CAmkES-vm, where is the Makefile to build it? Also, to clone the github repository, do I use "repo" or can I use "git clone"? Thanks, Bryan

Attachments:

attachment.html (text/html — 274 bytes)

Reply

Sign in to reply online Use email software

Show replies by date

Peter Chubb

13 Nov 13 Nov

9:14 a.m.

...
...
...
...
"Bryan" == Bryan Ching writes:

Bryan> I was just wondering for the CAmkES-vm, where is the Makefile Bryan> to build it? Also, to clone the github repository, do I use Bryan> "repo" or can I use "git clone"? Use repo; it should set up the Makefile for you from a different repository (camkes-tool.git). The starting point for the X86 VMM is the camkes-vm manifest repository, https://github.com/seL4/camkes-vm-manifest Peter C -- Dr Peter Chubb http://www.data61.csiro.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA/Data61

Reply

Sign in to reply online Use email software

Bryan Ching

14 Nov 14 Nov

10:26 a.m.

Hi, So using repo did the trick. When I'm trying to build it, I'm getting an error involving libboost. Here is the error: make: *** No rule to make target `libboost', needed by `vm'. Stop. I tried using the command, sudo apt-get install libboost-all-dev, to install all the boost packages. Does anyone have any ideas what's wrong? Thanks, Bryan On Thu, Nov 12, 2015 at 2:14 PM, Peter Chubb wrote:

...
...
...
...
...
"Bryan" == Bryan Ching writes:

Bryan> I was just wondering for the CAmkES-vm, where is the Makefile Bryan> to build it? Also, to clone the github repository, do I use Bryan> "repo" or can I use "git clone"?

Use repo; it should set up the Makefile for you from a different repository (camkes-tool.git). The starting point for the X86 VMM is the camkes-vm manifest repository, https://github.com/seL4/camkes-vm-manifest

Peter C

-- Dr Peter Chubb http://www.data61.csiro.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA/Data61

Reply

Sign in to reply online Use email software

Ben Karel

10:44 a.m.

Perhaps it's referring to https://github.com/seL4/libboost ? On Fri, Nov 13, 2015 at 6:26 PM, Bryan Ching wrote:

Hi,

So using repo did the trick. When I'm trying to build it, I'm getting an error involving libboost. Here is the error: make: *** No rule to make target `libboost', needed by `vm'. Stop.

I tried using the command, sudo apt-get install libboost-all-dev, to install all the boost packages. Does anyone have any ideas what's wrong?

Thanks, Bryan

On Thu, Nov 12, 2015 at 2:14 PM, Peter Chubb wrote:

...
...
...
...
...
> "Bryan" == Bryan Ching writes:

Bryan> I was just wondering for the CAmkES-vm, where is the Makefile Bryan> to build it? Also, to clone the github repository, do I use Bryan> "repo" or can I use "git clone"?

Use repo; it should set up the Makefile for you from a different repository (camkes-tool.git). The starting point for the X86 VMM is the camkes-vm manifest repository, https://github.com/seL4/camkes-vm-manifest

Peter C

-- Dr Peter Chubb http://www.data61.csiro.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA/Data61

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

Reply

Sign in to reply online Use email software

Bryan Ching

15 Nov 15 Nov

5:36 a.m.

Thanks Peter and Ben for your help previously. Cloning the libboost repository worked. Can someone explain to me the camkes-gen.mk? I am getting an error saying that it does not exist. Is there another repository that I have to clone to get the file? After I input "make", I get this error: /home/bryan/camkes-vm/tools/camkes/camkes.mk:125: /home/bryan/camkes-vm/build/x86/pc99/vm/camkes-gen.mk: No such file or directory [GEN] camkes-gen.mk While transforming AST: /home/bryan/camkes-vm/apps/vm/vm.camkes:4: unresolved reference to VM make[1]: *** [/home/bryan/camkes-vm/build/x86/pc99/vm/camkes-gen.mk] Error 255 make[1]: *** Deleting file `/home/bryan/camkes-vm/build/x86/pc99/vm/ camkes-gen.mk' make: *** [vm] Error 2 Thanks, On Fri, Nov 13, 2015 at 3:44 PM, Ben Karel wrote:

Perhaps it's referring to https://github.com/seL4/libboost ?

On Fri, Nov 13, 2015 at 6:26 PM, Bryan Ching wrote:

...
Hi,

So using repo did the trick. When I'm trying to build it, I'm getting an error involving libboost. Here is the error: make: *** No rule to make target `libboost', needed by `vm'. Stop.

I tried using the command, sudo apt-get install libboost-all-dev, to install all the boost packages. Does anyone have any ideas what's wrong?

Thanks, Bryan

On Thu, Nov 12, 2015 at 2:14 PM, Peter Chubb wrote:

...
...
...
...
>> "Bryan" == Bryan Ching writes:

Bryan> I was just wondering for the CAmkES-vm, where is the Makefile Bryan> to build it? Also, to clone the github repository, do I use Bryan> "repo" or can I use "git clone"?

Use repo; it should set up the Makefile for you from a different repository (camkes-tool.git). The starting point for the X86 VMM is the camkes-vm manifest repository, https://github.com/seL4/camkes-vm-manifest

Peter C

-- Dr Peter Chubb http://www.data61.csiro.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA/Data61

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

Reply

Sign in to reply online Use email software

Adrian Danis

16 Nov 16 Nov

10:13 a.m.

The readme for the camkes-vm appears to have gotten out of date. Currently it suggests to use the 'c162_threevm_testing_defconfig', it should now say 'c162_twovm_defconfig' and there is an additional platform supported by the 'optiplex9020_onevm_defconfig'. Apologies for the confusion, will fix the readme ASAP. Adrian On Sat 14-Nov-2015 10:44 AM, Ben Karel wrote: Perhaps it's referring to https://github.com/seL4/libboost https://github.com/seL4/libboost ? On Fri, Nov 13, 2015 at 6:26 PM, Bryan Ching mailto:bryanching7373@gmail.com> wrote: Hi, So using repo did the trick. When I'm trying to build it, I'm getting an error involving libboost. Here is the error: make: *** No rule to make target `libboost', needed by `vm'. Stop. I tried using the command, sudo apt-get install libboost-all-dev, to install all the boost packages. Does anyone have any ideas what's wrong? Thanks, Bryan On Thu, Nov 12, 2015 at 2:14 PM, Peter Chubb <mailto:peter.chubb@nicta.com.aupeter.chubb@nicta.com.aumailto:peter.chubb@nicta.com.au> wrote:

...
...
...
...
"Bryan" == Bryan Ching <mailto:bryanching7373@gmail.combryanching7373@gmail.commailto:bryanching7373@gmail.com> writes:

Bryan> I was just wondering for the CAmkES-vm, where is the Makefile Bryan> to build it? Also, to clone the github repository, do I use Bryan> "repo" or can I use "git clone"? Use repo; it should set up the Makefile for you from a different repository (camkes-tool.git). The starting point for the X86 VMM is the camkes-vm manifest repository, https://github.com/seL4/camkes-vm-manifest Peter C -- Dr Peter Chubb http://www.data61.csiro.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA/Data61 _______________________________________________ Devel mailing list Devel@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list Devel@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

Reply

Sign in to reply online Use email software

Bryan Ching

17 Nov 17 Nov

6:45 a.m.

Does that mean that I would need to download addition files from the github? If so, is that going to be updated soon too? On Sun, Nov 15, 2015 at 3:13 PM, Adrian Danis wrote:

The readme for the camkes-vm appears to have gotten out of date. Currently it suggests to use the 'c162_threevm_testing_defconfig', it should now say 'c162_twovm_defconfig' and there is an additional platform supported by the 'optiplex9020_onevm_defconfig'.

Apologies for the confusion, will fix the readme ASAP.

Adrian

On Sat 14-Nov-2015 10:44 AM, Ben Karel wrote:

Perhaps it's referring to https://github.com/seL4/libboost https://github.com/seL4/libboost ?

On Fri, Nov 13, 2015 at 6:26 PM, Bryan Ching wrote:

...
Hi,

So using repo did the trick. When I'm trying to build it, I'm getting an error involving libboost. Here is the error: make: *** No rule to make target `libboost', needed by `vm'. Stop.

I tried using the command, sudo apt-get install libboost-all-dev, to install all the boost packages. Does anyone have any ideas what's wrong?

Thanks, Bryan

On Thu, Nov 12, 2015 at 2:14 PM, Peter Chubb < peter.chubb@nicta.com.au> wrote:

...
...
...
...
>> "Bryan" == Bryan Ching < bryanching7373@gmail.com> writes:

Bryan> I was just wondering for the CAmkES-vm, where is the Makefile Bryan> to build it? Also, to clone the github repository, do I use Bryan> "repo" or can I use "git clone"?

Use repo; it should set up the Makefile for you from a different repository (camkes-tool.git). The starting point for the X86 VMM is the camkes-vm manifest repository, https://github.com/seL4/camkes-vm-manifest

Peter C

-- Dr Peter Chubb http://www.data61.csiro.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA/Data61

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

_______________________________________________ Devel mailing listDevel@sel4.systemshttps://sel4.systems/lists/listinfo/devel

------------------------------

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

Reply

Sign in to reply online Use email software

Adrian Danis

9:30 a.m.

No, the files are all already there (https://github.com/seL4/camkes-vm/blob/master/configs/c162_twovm_defconfig), it just the readme that is out of date. Adrian On Tue 17-Nov-2015 6:45 AM, Bryan Ching wrote:

Does that mean that I would need to download addition files from the github? If so, is that going to be updated soon too?

On Sun, Nov 15, 2015 at 3:13 PM, Adrian Danis mailto:adrian.danis@nicta.com.au> wrote:

The readme for the camkes-vm appears to have gotten out of date. Currently it suggests to use the 'c162_threevm_testing_defconfig', it should now say 'c162_twovm_defconfig' and there is an additional platform supported by the 'optiplex9020_onevm_defconfig'.

Apologies for the confusion, will fix the readme ASAP.

Adrian

On Sat 14-Nov-2015 10:44 AM, Ben Karel wrote:

...
Perhaps it's referring to https://github.com/seL4/libboost https://github.com/seL4/libboost ?

On Fri, Nov 13, 2015 at 6:26 PM, Bryan Ching mailto:bryanching7373@gmail.com> wrote:

Hi,

So using repo did the trick. When I'm trying to build it, I'm getting an error involving libboost. Here is the error: make: *** No rule to make target `libboost', needed by `vm'. Stop.

I tried using the command, sudo apt-get install libboost-all-dev, to install all the boost packages. Does anyone have any ideas what's wrong?

Thanks, Bryan

On Thu, Nov 12, 2015 at 2:14 PM, Peter Chubb mailto:peter.chubb@nicta.com.au> wrote:

>>>>> "Bryan" == Bryan Ching mailto:bryanching7373@gmail.com> writes:

Bryan> I was just wondering for the CAmkES-vm, where is the Makefile Bryan> to build it? Also, to clone the github repository, do I use Bryan> "repo" or can I use "git clone"?

Use repo; it should set up the Makefile for you from a different repository (camkes-tool.git). The starting point for the X86 VMM is the camkes-vm manifest repository, https://github.com/seL4/camkes-vm-manifest

Peter C

-- Dr Peter Chubb http://www.data61.csiro.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA/Data61

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

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

------------------------------------------------------------------------

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

Reply

Sign in to reply online Use email software

3321

Age (days ago)

3325

Last active (days ago)

Download

7 comments

4 participants

tags

participants (4)

Adrian Danis
Ben Karel
Bryan Ching
Peter Chubb