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: b743d73)
fixed makefile and added necessary directories
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 24 Sep 2008 22:12:32 +0000 (17:12 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 24 Sep 2008 22:12:32 +0000 (17:12 -0500)
commit75879e152aa82ee176b404f5b402d184ba38c7aa
treea91f3b91727deff824198024b9ef889511070a4atree | snapshot
parentb743d73b58d50cc91e4db88a707356adc9298cbccommit | diff
fixed makefile and added necessary directories
misc/test_vm/build/Makefile diff | blob | history
misc/test_vm/build/common/.ignore [new file with mode: 0644] blob
misc/test_vm/build/geekos/.ignore [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project