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 RAM based CD, updates to device registration
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 18 Mar 2009 21:33:45 +0000 (16:33 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 18 Mar 2009 21:33:45 +0000 (16:33 -0500)
commit6fe0528310bec884ed00c8d97b45d18120a32e3f
tree74f4ee6c4abfa5cd99a155e95a362dbf69aebc54
parent262421e0f445e5427698043eb5b3309f9768a1f2
added RAM based CD, updates to device registration
palacios/build/Makefile
palacios/include/devices/ide.h
palacios/src/devices/ide-types.h
palacios/src/devices/ide.c