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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 5697962)
Updates to some debugging of time virtualization. Adding infrasructer to support...
authorPatrick G. Bridges <bridges@cs.unm.edu>
Tue, 27 Mar 2012 20:56:36 +0000 (14:56 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Tue, 27 Mar 2012 20:56:36 +0000 (14:56 -0600)
commitb91f96a59e8709a444eb345b0f2b255e9ed9b877
treedb143096f946908f7e23a864f99a94f2c63787f5tree | snapshot
parent569796250aabb415e296cb2b71afbb9cda512f69commit | diff
Updates to some debugging of time virtualization. Adding infrasructer to support time and performance dilation in the future
palacios/include/palacios/vmm_time.h diff | blob | history
palacios/src/palacios/vmm_halt.c diff | blob | history
palacios/src/palacios/vmm_time.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project