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.


fixed operand size issue in string emulation (16 bit version)
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 14 Jul 2009 23:04:37 +0000 (18:04 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 14 Jul 2009 23:04:37 +0000 (18:04 -0500)
commit00881af75346ca2e0766ccb68fb72caeb1d14d10
treef0b342c6e03547186f8b67ec25e6acd8304165dc
parentd295adbc7569ea2c242b34db6606236825ac5332
fixed operand size issue in string emulation (16 bit version)
palacios/include/palacios/vmm_instr_emulator.h