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.


Further changes to support new non-contiguous memory model (checkpointing, vm informa...
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 31 Jul 2013 22:00:22 +0000 (17:00 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sun, 4 Aug 2013 22:31:20 +0000 (17:31 -0500)
commitb6b2ad0b5218d5719e991a93681a8c202eb312c5
treed0ecd9eab67524eef5f1d7df4c96336b8aef21e9
parent16db015d4bcec7b3f9e25eb8dbb6796c4d85550a
Further changes to support new non-contiguous memory model (checkpointing, vm information interface, vm guest memory interface)
linux_module/main.c
linux_usr/v3_guest_mem.c
palacios/src/palacios/vmm_checkpoint.c