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 decoder
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 20 Jun 2008 15:27:41 +0000 (15:27 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 20 Jun 2008 15:27:41 +0000 (15:27 +0000)
commit1c63b0651a5d039076d8027c7cd87960e4151408
treec83287e2f372a1166ba937d4f97e66774549d999
parentb527f44a71d32952d7b129a7ce5dbeb3969fb8d2
added decoder
palacios/build/Makefile
palacios/include/palacios/vmm_decoder.h [moved from palacios/include/palacios/vmm_emulate.h with 95% similarity]
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/svm_io.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_mem.c
palacios/src/palacios/vmm_shadow_paging.c