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.


Explictly tags in saves for PIT, APIC, IOAPIC, SVM, and CORE
authorMadhav Suresh <madhav@u.northwestern.edu>
Thu, 27 Dec 2012 02:11:54 +0000 (20:11 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 27 Dec 2012 02:15:12 +0000 (20:15 -0600)
commitc3498e95bc8a73f4888d42166561f377af20ee5b
treeee0272cabfd93c46c41f5344b007b438eea5dc35
parent9ff1045b53ca94048ec8a113efb74d691477f264
Explictly tags in saves for PIT, APIC, IOAPIC, SVM, and CORE
palacios/src/devices/8254.c
palacios/src/devices/apic.c
palacios/src/devices/io_apic.c
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_checkpoint.c