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
13 Nov
13 Nov
9:14 a.m.
>>>> "Bryan" == Bryan Ching
<bryanching7373(a)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
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 <peter.chubb(a)nicta.com.au>
wrote:
>>>> "Bryan" == Bryan Ching <bryanching7373(a)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
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 <bryanching7373(a)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 <peter.chubb(a)nicta.com.au>
wrote:
_______________________________________________
Devel mailing list
Devel(a)sel4.systems
https://sel4.systems/lists/listinfo/devel
>>>> "Bryan" == Bryan Ching <bryanching7373(a)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
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 <eschew(a)gmail.com> wrote:
Perhaps it's referring to
https://github.com/seL4/libboost ?
On Fri, Nov 13, 2015 at 6:26 PM, Bryan Ching <bryanching7373(a)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 <peter.chubb(a)nicta.com.au>
wrote:
_______________________________________________
Devel mailing list
Devel(a)sel4.systems
https://sel4.systems/lists/listinfo/devel
>>>> "Bryan" == Bryan Ching <bryanching7373(a)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
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
<bryanching7373@gmail.com<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>peter.chubb@nicta.com.au<mailto:peter.chubb@nicta.com.au>>
wrote:
>>>> "Bryan" == Bryan Ching
<<mailto:bryanching7373@gmail.com>bryanching7373@gmail.com<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.
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 <adrian.danis(a)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 <bryanching7373(a)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 < <peter.chubb(a)nicta.com.au>
peter.chubb(a)nicta.com.au> wrote:
_______________________________________________
Devel mailing list
Devel(a)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.
>>>> "Bryan" == Bryan Ching < <bryanching7373(a)gmail.com>
bryanching7373(a)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
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
<adrian.danis(a)nicta.com.au <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
<bryanching7373(a)gmail.com <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
<peter.chubb(a)nicta.com.au <mailto:peter.chubb@nicta.com.au>>
wrote:
------------------------------------------------------------------------
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.
>>>> "Bryan" == Bryan Ching
<bryanching7373(a)gmail.com
<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(a)sel4.systems <mailto:Devel@sel4.systems>
https://sel4.systems/lists/listinfo/devel
_______________________________________________
Devel mailing list
Devel(a)sel4.systems <mailto:Devel@sel4.systems>
https://sel4.systems/lists/listinfo/devel
2460
days inactive
2464
days old
7 comments
4 participants
participants (4)
-
Adrian Danis -
Ben Karel -
Bryan Ching -
Peter Chubb