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: 86c6fd1)
reimplemented to arch independent version, renamed vmm_ctrl_regs.c
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 14 May 2008 19:41:36 +0000 (19:41 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 14 May 2008 19:41:36 +0000 (19:41 +0000)
commita9d28420271f42ccfea27160f8e928c4051df647
tree3736db227d2d7047e98004384e101e789749bf0ftree | snapshot
parent86c6fd174a293cdea69e4592e2eace691949043ccommit | diff
reimplemented to arch independent version, renamed vmm_ctrl_regs.c
palacios/src/palacios/svm_ctrl_regs.c [deleted file] blob | history
Public Palacios Development Repository for the V3VEE Project