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
<[email protected] <mailto:[email protected]>> 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
<[email protected] <mailto:[email protected]>> 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
<[email protected] <mailto:[email protected]>>
wrote:
>>>>> "Bryan" == Bryan Ching <[email protected]
<mailto:[email protected]>> 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
[email protected] <mailto:[email protected]>
https://sel4.systems/lists/listinfo/devel
_______________________________________________
Devel mailing list
[email protected] <mailto:[email protected]>
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.
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
