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 extension framework
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 3 Mar 2011 21:22:25 +0000 (15:22 -0600)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 3 Mar 2011 21:22:25 +0000 (15:22 -0600)
commitf18097c35ddc13572ab41e03ad7a14430cff11ac
tree4fdf8c52f17e5bc1ff63f6fa48518a74d49fb983
parentc9bf1de172346e153245a60a9641217a0783906e
added extension framework
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_extensions.h
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_extensions.c
palacios/src/palacios/vmm_mtrr.c
palacios/src/palacios/vmm_time.c