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: afb2a35)
removed deprecated build tools
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 25 Nov 2009 03:05:01 +0000 (21:05 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 25 Nov 2009 03:05:01 +0000 (21:05 -0600)
commit45050b17f19868689ef5437ced5810044dd57768
treea024ab1e82db8cf6ee5e772be5da81834f2467eatree | snapshot
parentafb2a35b2e15ba0fa932c4e49a3678f958a4502acommit | diff
removed deprecated build tools
utils/binutils-2.16.91.0.7.tar.gz [deleted file] blob | history
utils/gcc-3.4.6.tar.gz [deleted file] blob | history
utils/nasm-0.98.39.tar.gz [deleted file] blob | history
utils/nasm-install.patch [deleted file] blob | history
utils/vmx.patch [deleted file] blob | history
Public Palacios Development Repository for the V3VEE Project