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: 701c70a)
fix video device configuration
authorSteven Jaconette <jacones@u.northwestern.edu>
Mon, 17 Aug 2009 20:35:56 +0000 (15:35 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 17 Aug 2009 21:26:26 +0000 (16:26 -0500)
commita536ac8d7eef843551087eaf8788e0a41f2a2c0a
treea81e515e611eaf44f626a2c1144c4a3157d3e690tree | snapshot
parent701c70aa5e0c3122fb51e1b0f524d6e6b7be5e74commit | diff
fix video device configuration
palacios/src/palacios/vmm_config.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project