Palacios Public Git Repository

To checkout Palacios execute 

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute 
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: c8e5b4d)
Add proper cleanup for a nested VMX guest This also fixes a bug that was preventing...
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 12 Mar 2015 02:00:40 +0000 (21:00 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 12 Mar 2015 12:21:40 +0000 (07:21 -0500)
commitd389e7022c2afa3fb72bc87ab7b324fd9183e5b1
tree745132ff45607a0f3ab1238623fa3c1c852dc7f2tree | snapshot
parentc8e5b4d78f746b7ac5de1a19689ba9aa2d7e3db3commit | diff
Add proper cleanup for a nested VMX guest This also fixes a bug that was preventing such a guest from being freed
palacios/src/palacios/vmm_direct_paging.c diff | blob | history
palacios/src/palacios/vmx_npt.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project