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: a9d2842)
moved contents to arch independent vmm_ctrl_regs.h
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 14 May 2008 19:42:37 +0000 (19:42 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 14 May 2008 19:42:37 +0000 (19:42 +0000)
commit356f5cc77a2783f2917b994be4cf954891828380
tree5afae3cc3489588a001d789ebe6359d8c330003ftree | snapshot
parenta9d28420271f42ccfea27160f8e928c4051df647commit | diff
moved contents to arch independent vmm_ctrl_regs.h
palacios/include/palacios/svm_ctrl_regs.h [deleted file] blob | history
Public Palacios Development Repository for the V3VEE Project