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.


MOre minor fixes
authorPatrick G. Bridges <pgbridg@sandia.gov>
Fri, 1 Oct 2010 18:27:16 +0000 (12:27 -0600)
committerPatrick G. Bridges <pgbridg@sandia.gov>
Fri, 1 Oct 2010 18:27:16 +0000 (12:27 -0600)
commitb69ebe0340a6d0256c5e44a156baaf5a2e42f5ae
treefde88b9161c396d7521e823fe2a20d0f057f29ed
parent7711c884eae1625fdf136e6442c270d4992e22b4
MOre minor fixes
palacios/include/palacios/vmm_time.h
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_time.c
palacios/src/palacios/vmx.c