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.


added new identify sub command (merged from CVS)
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 10 Oct 2008 22:20:35 +0000 (17:20 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 10 Oct 2008 22:20:35 +0000 (17:20 -0500)
commit2e8d07d2d209b4fdb15d92d42a4a01f6f1ef9be8
tree1ee6d094562d9b65a3b4339bf1db09a7c9f01017
parentb84c13ec0315404c6b6de8c1d3a7a65ac766a782
added new identify sub command (merged from CVS)
palacios/src/devices/ramdisk.c