search for: vmkt

Harris Bakiras wrote: > For the moment you can install VMKit following these instructions: > > http://vmkit2.gforge.inria.fr/start.php > > VMKit's web page and repository will be updated soon. Thanks, that works a lot better! Chris

Hi Minas, Basically, you should not have any difference between the two projects :) (it's not really the case, but we are working on this problem). To explain (sorry for my long email!), I work for a french research institution (Inria) and, as we have an Inria research project around VMKit, I had to create a repository inside my institution (a researcher has always to make his institution

on 2013/3/1 6:11, Gaël Thomas wrote: > > Fundamentally, I think that for the VMKit project, it's important to > be hosted as a subproject of llvm because VMKit heavily relies on llvm > (and because llvm is maybe a little bit more attractive than inria:)). > So, we will quickly re-merge the two projects and continuously > integrates the stable (and interesting) contributions

Hi Chris, For the moment you can install VMKit following these instructions: http://vmkit2.gforge.inria.fr/start.php VMKit's web page and repository will be updated soon. Harris Bakiras Le 12/02/2013 10:30, chris.gray at kiffer.be a écrit : > Hi all, > > I hope this is the correct place to post such questions? I am building > vmkit for the first time, following the

Hi Harris, A question has arisen, what is the difference between VMKit2 and VMKit, and why, in the first place the new VMKit2 fork was been created? Thanks for answer :) Best regards, Minas On Tue, Feb 12, 2013 at 2:36 PM, Harris Bakiras <h.bakiras at gmail.com> wrote: > Hi Chris, > > For the moment you can install VMKit following these instructions: > >

Hi all, I hope this is the correct place to post such questions? I am building vmkit for the first time, following the instructions on the get_started page (with one deviation: in step 4 I ran ./configure in my vmkit directory and therefore did not need to cd at the start of step 5. Is this correct?). Build platform is 64-bit CrunchBang Linux 11 "Waldorf", based on Debian Wheezy. I