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.


Devices updated for revised checkpoint interface
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 26 Dec 2012 17:18:21 +0000 (11:18 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 26 Dec 2012 17:32:46 +0000 (11:32 -0600)
commit7ebb801201cc0c40f769db676e69b6e7394b08b5
tree604bff61a18bdad20c4ac8bf7cdc07de98915199
parent54be7fbb6b41d1241ad563a7135cdb28be73ff82
Devices updated for revised checkpoint interface
palacios/src/devices/8254.c
palacios/src/devices/8259a.c
palacios/src/devices/apic.c
palacios/src/devices/cga.c
palacios/src/devices/ide.c
palacios/src/devices/io_apic.c
palacios/src/devices/keyboard.c
palacios/src/devices/os_debug.c
palacios/src/devices/pci.c