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.


cleaned up timer infrastructure
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 28 Apr 2010 21:37:06 +0000 (16:37 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 28 Apr 2010 21:37:06 +0000 (16:37 -0500)
commitc4e343e346404fcc7674dcfa32e588a282be0f86
tree388607038c3539c674bdce7dc99360e0aad71437
parent0027db7c5ddd6b376f1d18e9cdd619126d5896c4
cleaned up timer infrastructure
palacios/include/palacios/vmm_time.h
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_halt.c
palacios/src/palacios/vmx.c