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.


Updated userspace guest memory access tools for regions, plus added new fast function...
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 21 Aug 2013 20:17:23 +0000 (15:17 -0500)
committerroot <root@v-test-r415-3.localdomain>
Wed, 21 Aug 2013 20:17:23 +0000 (15:17 -0500)
commitc5271d17ca93ad2ca9132a39212369c5f4feb2a9
treee1f19dbe2451904fd7cd21fc849ee2185346e758
parentd1026ce50fd8b517ef69944eba5db7f838820b40
Updated userspace guest memory access tools for regions, plus added new fast functionality for
copies, hashes, and applies
linux_usr/Makefile
linux_usr/v3_guest_mem.c
linux_usr/v3_guest_mem.h
linux_usr/v3_guest_mem_access.c [new file with mode: 0644]
linux_usr/v3_guest_mem_example.c [deleted file]