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.


updated binutils
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 2 Dec 2008 22:20:30 +0000 (16:20 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 2 Dec 2008 22:20:30 +0000 (16:20 -0600)
commitffac7e1f43a3a06d9d716629d5f08b6b5e86927c
tree6b58103cf960514451efffa931e20333eced35f0
parent29fab8c8ad8b810ba57fc32cb771d14b056f4d7c
updated binutils
utils/binutils-2.16.91.0.7.tar.gz