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