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.


minor fixes. Can now successfully boot up when Qemu rarely exposes a plausible TSC...
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 29 Oct 2010 23:04:26 +0000 (18:04 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 29 Oct 2010 23:04:26 +0000 (18:04 -0500)
commit30434aee50c56ff4a23400191562c5c9ffaff830
treebc8523084e5de8161bac7793d3e19639bf9de859
parent137d53aa8e5e9ae8247bd3da481cb62e5c15a6ab
minor fixes. Can now successfully boot up when Qemu rarely exposes a plausible TSC rate.
palacios/include/palacios/vmcs_gen.h [deleted file]
palacios/src/devices/apic.c
palacios/src/devices/io_apic.c
palacios/src/palacios/svm.c