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 bug fixes, and copyright additions
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 2 Oct 2008 23:06:39 +0000 (18:06 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 2 Oct 2008 23:06:39 +0000 (18:06 -0500)
commitf1e128d5c205f347c43202e00492a14410ac43e6
treebc4f0c5f59d5ab7109dafefc7ea6443352918e6e
parent6eec27d5e1e3eb7cf3006b24389520d3058b6848
minor bug fixes, and copyright additions
palacios/include/devices/cdrom.h
palacios/include/devices/ramdisk.h
palacios/src/devices/cdrom.c
palacios/src/devices/generic.c
palacios/src/devices/ramdisk.c