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: cc6a2b1)
removed segment regs
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 18 Mar 2009 00:18:44 +0000 (19:18 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 18 Mar 2009 00:18:44 +0000 (19:18 -0500)
commit5bc39eb312c57576e5d388594563df7dce5aaa2d
tree041434a1684b5e43e1d0870e52d894701d3a6fa8tree | snapshot
parentcc6a2b14d3fdebb1c705b251e8818fa401786956commit | diff
removed segment regs
palacios/include/palacios/vm_guest.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project