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.


more fixes
authorJack Lange <jarusl@cs.northwestern.edu>
Sun, 21 Feb 2010 20:34:02 +0000 (14:34 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Sun, 21 Feb 2010 20:34:02 +0000 (14:34 -0600)
commit89e97330b5358593b7e7d823ca017ef17a59d44d
treed18773424bff46d6f4cc72599ddcc07ef501bc9c
parente718111ad89c9e81faa544f21c84bd1d73943485
more fixes
palacios/include/palacios/vmm_vnet.h
palacios/src/devices/vnet_nic.c
palacios/src/palacios/vmm_vnet.c