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 instruction emulation for 64 bit machines
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 27 Jan 2009 21:07:20 +0000 (15:07 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 27 Jan 2009 21:07:20 +0000 (15:07 -0600)
commitdc450df7818a872a3e8a3725ec97bdc273756b06
tree23ad31f24abbf126deabf63e031e4e22b338b1b0
parent8cd226e9445d54e8914ca71abdc233f8fb15d513
fixed instruction emulation for 64 bit machines
palacios/build/Makefile
palacios/include/palacios/vmm_instr_emulator.h
palacios/include/palacios/vmm_mem.h
palacios/include/palacios/vmm_rbtree.h
palacios/src/palacios/vmm_paging.c
palacios/src/palacios/vmm_xed.c