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.


VNET memory interface and deinit cleanup
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 4 Oct 2013 15:18:03 +0000 (10:18 -0500)
committerroot <root@v-test-r415-3.localdomain>
Fri, 4 Oct 2013 15:18:03 +0000 (10:18 -0500)
commit310d9000bf6012dffd877c3c42e82521b94402c4
tree296f9c41fc93a40c468f121e56f60ab352388a11
parenta8a10f70da3c173005db21e3c1dcf063f345c24f
VNET memory interface and deinit cleanup
linux_module/palacios-vnet.c
palacios/include/vnet/vnet_host.h
palacios/src/devices/lnx_virtio_nic.c