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: 96a7176)
fixed bug in time initialization, and added deinitialization
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 6 Jan 2011 22:30:50 +0000 (16:30 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 6 Jan 2011 22:30:50 +0000 (16:30 -0600)
commita405b0fca40b6215154e1ccb36a14fb5e7e767d4
treeaf186372d5cc7852d2e31918ad424c13a1948924tree | snapshot
parent96a71766125d211be08d7670c93938cf0ea09c04commit | diff
fixed bug in time initialization, and added deinitialization
palacios/include/palacios/vmm_time.h diff | blob | history
palacios/src/palacios/vm_guest.c diff | blob | history
palacios/src/palacios/vmm_time.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project