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: 0f93868)
assorted debugging stuff added while tracking down apic and shadow paging bugs (cr4...
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 25 Feb 2009 18:40:00 +0000 (12:40 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 25 Feb 2009 18:40:00 +0000 (12:40 -0600)
commitf2c389745faae8bbd6e16b60baa59c01e735949f
tree4b37fb3b771d023dee02a0704353c7211d310636tree | snapshot
parent0f93868a1bc6451bf6ed3822aca1a9e8806ae252commit | diff
assorted debugging stuff added while tracking down apic and shadow paging bugs (cr4 bug)
palacios/src/palacios/vmm_shadow_paging_64.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project