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 disk model something or other
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 12 Jan 2010 20:39:02 +0000 (14:39 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 12 Jan 2010 20:39:02 +0000 (14:39 -0600)
commit7021908ce7f63df7c8a9e8e007471d8df96aa1b6
tree21a883b4b810b56e763d0815a6fd76cc2b9cf8fe
parentaa514a096de7869eb2d6b989d0f398d23f37650a
added disk model something or other
palacios/src/devices/disk_model.c [new file with mode: 0644]