Index: ProjectsWithLLVM/index.html
===================================================================
--- ProjectsWithLLVM/index.html
+++ ProjectsWithLLVM/index.html
@@ -36,6 +36,7 @@
 <div class="www_text">
 
 <ul>
+<li><a href="#vmkit">vmkit</a></li>
 <li><a href="#dawncc">DawnCC</a></li>
 <li><a href="#terralang">Terra Lang</a></li>
 <li><a href="#codasip">Codasip Studio</a></li>
@@ -80,8 +81,19 @@
 </div>
 
 <!--=========================================================================-->
+
+
 <div class="www_subsection">
-  <a name="dawncc">Automatic Insertion of Copy Annotation in Data-Parallel 
+  <a name="vmkit">VMKit: a substrate for virtual machines</a>
+</div>
+
+<div class="www_subsubsection">
+Current MREs are monolithic. Extending them to propose new features or reusing them to execute new languages is difficult. VMKit is a library that eases the development of new MREs and the process of experimenting with new mechanisms inside MREs. VMKit provides the basic components of MREs: a JIT compiler, a GC, and a thread manager.
+       See <a href="http://vmkit.llvm.org/">vmkit webpage</a>.
+        </div>
+
+<div class="www_subsection">
+  <a name="dawncc">Automatic Insertion of Copy Annotation in Data-Parallel
 	  Programs</a>
 </div>
 
Index: index.html
===================================================================
--- index.html
+++ index.html
@@ -11,8 +11,7 @@
 
 <p>The LLVM Project is a collection of modular and reusable compiler and
    toolchain technologies.  Despite its name, LLVM has little to do with
-   traditional virtual machines, though it does provide helpful libraries that 
-   can be <a href="http://vmkit.llvm.org">used to build them</a>.  The name
+   traditional virtual machines.  The name
    "LLVM" itself is not an acronym; it is the full name of the project.</p>
 
 <p>LLVM began as a <a href="pubs/2004-01-30-CGO-LLVM.html">research
@@ -89,10 +88,6 @@
     provides an <a href="http://openmp.org">OpenMP</a> runtime for use with the
     OpenMP implementation in Clang.</p></li>
 
-<li><p>The <b><a href="http://vmkit.llvm.org">vmkit</a></b> project is an
-    implementation of the Java and .NET Virtual Machines that is built on LLVM
-    technologies.</p></li>
-
 <li><p>The <b><a href="http://polly.llvm.org/">polly</a></b> project implements
     a suite of cache-locality optimizations as well as auto-parallelism and
     vectorization using a polyhedral model.</p></li>