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: 65ffa7d)
added support for unhooking an MSR
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 12 Jan 2011 00:15:28 +0000 (18:15 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 12 Jan 2011 00:15:28 +0000 (18:15 -0600)
commit4a9377be280dd8f2c298fd845d63728650a1060f
treed62a8cca1424c2dd2b8502585b2824de5d76cd7etree | snapshot
parent65ffa7d1ac6dfb3399ba2b217d27519e258ee00acommit | diff
added support for unhooking an MSR
palacios/src/palacios/vmm_msr.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project