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 virtio balloon device, currently discards free pages...
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 4 Aug 2009 01:03:37 +0000 (20:03 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 4 Aug 2009 01:03:37 +0000 (20:03 -0500)
commit217e4d9dbb18e7c8dfd26f9fd74770614dd2024c
tree6c0f7308c266ee827e73afca2874ee4ab5403835
parentbe25a0dd3f691dbef727998ab27910df9fa95e51
added virtio balloon device, currently discards free pages...
palacios/build/Makefile
palacios/include/devices/lnx_virtio_pci.h
palacios/src/devices/lnx_virtio_balloon.c [new file with mode: 0644]
palacios/src/palacios/vmm_config.c