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.


delete leftover resource hooks and various resource maps
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 12 Jan 2011 06:17:33 +0000 (00:17 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 12 Jan 2011 06:17:33 +0000 (00:17 -0600)
commitb3662a67b9b28e2b0724ebb2ea10edccba5d2a5b
tree09ad16d2b76855be4957a407068beda68ca20043
parent77b8b3d88d13a1aeb5f6a034a8ea348bde9b9315
delete leftover resource hooks and  various resource maps
palacios/include/palacios/vmm_cpuid.h
palacios/include/palacios/vmm_hypercall.h
palacios/include/palacios/vmm_io.h
palacios/include/palacios/vmm_msr.h
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_cpuid.c
palacios/src/palacios/vmm_hypercall.c
palacios/src/palacios/vmm_io.c
palacios/src/palacios/vmm_msr.c