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: 9a745f4)
fixed sprintf configuration dependencies
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 3 Feb 2010 23:00:02 +0000 (17:00 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 3 Feb 2010 23:00:02 +0000 (17:00 -0600)
commit0f39a3ad28d0419f551a7efd68aea0bb4224de98
tree1e52eb60c286b585a906101ae636a72fae61ebfftree | snapshot
parent9a745f4d990981e4a26b8548a5388162fc0f260ccommit | diff
fixed sprintf configuration dependencies
Kconfig diff | blob | history
palacios/src/palacios/vmm_sprintf.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project