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.


minor changes to organization
authorKyle Hale <kch479@newbehemoth.cs.northwestern.edu>
Fri, 17 Jun 2011 19:51:21 +0000 (14:51 -0500)
committerKyle Hale <kch479@newbehemoth.cs.northwestern.edu>
Fri, 17 Jun 2011 19:51:21 +0000 (14:51 -0500)
commit840d15c3a300636e758fcfcf403ae415ffa67816
tree3cad270f171f13fc8c610b65d569b1472b119a8c
parent0fedb532c5ca028b24b49fb370763006cbc9de51
parent5614cff13837121053e831419f569b4e6e32bcd9
minor changes to organization
17 files changed:
Kconfig
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_ctrl_regs.h
palacios/include/palacios/vmm_decoder.h
palacios/include/palacios/vmm_instr_decoder.h
palacios/src/extensions/Kconfig
palacios/src/extensions/Makefile
palacios/src/palacios/Makefile
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vm_guest_mem.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_decoder.c
palacios/src/palacios/vmm_intr.c
palacios/src/palacios/vmm_v3dec.c
palacios/src/palacios/vmm_xed.c