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 header files
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 2 Oct 2008 05:59:56 +0000 (00:59 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 2 Oct 2008 05:59:56 +0000 (00:59 -0500)
commit30f88bcf48e9bf46f69a8ef16dbadfe66ce145c9
tree675473c7bfb074cad39fc87fee348d05d500315b
parenta1a2be8eb002e13b1eb6ccaca40e4396f8816402
added header files
palacios/include/devices/atapi.h [new file with mode: 0644]
palacios/include/devices/ide.h [new file with mode: 0644]
palacios/src/devices/ramdisk.c