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.


updated file interface
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 18 Nov 2010 19:18:23 +0000 (13:18 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 18 Nov 2010 19:18:23 +0000 (13:18 -0600)
commitdadac9c02898a50c7c128d4bbcef39a0e339aa8c
tree71b259387b2c6c4ce9571bd65b19e9599ceecfe8
parentae0883d9d6ce5f746eefbbee1bbcf4a188dbfb8e
updated file interface
palacios/include/palacios/vmm_file.h
palacios/src/devices/filedisk.c
palacios/src/palacios/vmm_file.c
palacios/src/palacios/vmm_socket.c