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 missing HVM reset function to Linux library...
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 9 Sep 2015 20:14:04 +0000 (15:14 -0500)
committerroot <root@v-test-r415-3.localdomain>
Wed, 9 Sep 2015 20:14:04 +0000 (15:14 -0500)
commit0205b0a0d6ad39a783330299f8afca735cf9a459
tree4283e83b216d5cdbf607cce982bf3357235cf08f
parent495d40c7d02054399e118be6a10b0096c938d232
Added missing HVM reset function to Linux library...
guest/linux/hvm-ros/v3_hvm_ros_user.c
guest/linux/hvm-ros/v3_hvm_ros_user.h