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.


checkpoint changes to get "reset to BIOS" working.
authorJack Lange <jacklange@cs.pitt.edu>
Tue, 20 Sep 2011 19:16:00 +0000 (15:16 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Mon, 3 Oct 2011 17:43:39 +0000 (13:43 -0400)
commitc30d1b88a60c3a8df426ce81553675bbe4afef52
tree2cae31a34b2900cb33dbdf4006c9ed8875830a59
parent33bf43b34feba36dcbfa47f8f559e5862f531393
checkpoint changes to get "reset to BIOS" working.
12 files changed:
palacios/include/devices/pci.h
palacios/include/palacios/vmm_checkpoint.h
palacios/src/devices/8259a.c
palacios/src/devices/atapi-types.h
palacios/src/devices/cga.c
palacios/src/devices/ide.c
palacios/src/devices/keyboard.c
palacios/src/devices/pci.c
palacios/src/palacios/svm.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm_checkpoint.c
palacios/src/palacios/vmm_dev_mgr.c