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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: b187d8d)
disassemble the code around the RIP. It starts disassembly 64 bytes before and contin...
authorErik van der Kouwe <erikvdk@gmail.com>
Fri, 26 Nov 2010 16:57:29 +0000 (10:57 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 26 Nov 2010 16:57:29 +0000 (10:57 -0600)
commit7043e3314c5843994dbd6615aca71b0378950b3e
tree02ad6fe1161818ab6703516811a231f8e49ab8ectree | snapshot
parentb187d8db6f451cd5cea5452b284c3282dd5a4b67commit | diff
disassemble the code around the RIP. It starts disassembly 64 bytes before and continues up to 32 bytes after the RIP
palacios/include/palacios/vmm_xed.h diff | blob | history
palacios/src/palacios/vm_guest.c diff | blob | history
palacios/src/palacios/vmm_xed.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project