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.


minor fixes
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 7 Oct 2008 22:25:34 +0000 (17:25 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 7 Oct 2008 22:25:34 +0000 (17:25 -0500)
commit9ba3dfc76b6572ac3a71e4b1be6cd4f9cf28f593
tree6a00bf8c68a5d9f8ce8786ffb37022aa85e4c1ff
parent6593ee3c311ec87304c7bed52a9e6034338679fb
minor fixes
SETUP.LINUX
palacios/src/devices/cdrom.c