>>>>> "Bryan" == Bryan Ching <[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
