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.


move vnet code outside of palacios core directory
authorLei Xia <lxia@northwestern.edu>
Wed, 4 May 2011 16:05:07 +0000 (11:05 -0500)
committerLei Xia <lxia@northwestern.edu>
Wed, 4 May 2011 16:05:07 +0000 (11:05 -0500)
commitd12cdf5b213b2b51d525914a852ceacd2c198b5a
tree24f739dbc7c12055ed5dad34821124850b8c2c04
parent56b5a7897dfb4dbf0b556d46c456fb9bdaa15762
move vnet code outside of palacios core directory
Kconfig
Makefile
linux_module/palacios-vnet.c
linux_module/palacios-vnet.h
palacios/include/vnet/vnet.h [moved from palacios/include/palacios/vmm_vnet.h with 100% similarity]
palacios/include/vnet/vnet_host_interface.h [moved from palacios/include/palacios/vnet_interface.h with 100% similarity]
palacios/src/palacios/Makefile
palacios/src/palacios/vmm.c
palacios/src/vnet/Makefile [new file with mode: 0644]
palacios/src/vnet/vnet_core.c [moved from palacios/src/palacios/vmm_vnet_core.c with 99% similarity]