Re: [seL4] CAmkES-vm Build Question

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/libboosthttps://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.