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: 2c0f0d4)
added configurable host features to Palacios configuration
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Aug 2010 23:11:16 +0000 (18:11 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Aug 2010 23:11:16 +0000 (18:11 -0500)
commit91dd8fc81ca7e4d820c2d0961e92a4c23b4fbd3b
tree4d0ec5270bdd6b7dd752a5d2da7b4c46e3b2eae6tree | snapshot
parent2c0f0d4f13ebf9071bede458a0d682513082beb3commit | diff
added configurable host features to Palacios configuration
Kconfig diff | blob | history
Public Palacios Development Repository for the V3VEE Project