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: d8e5101)
Makefile now includes svm_pause and DEBUG=1 by default
authorPeter Dinda <pdinda@northwestern.edu>
Sat, 19 Jul 2008 01:03:13 +0000 (01:03 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Sat, 19 Jul 2008 01:03:13 +0000 (01:03 +0000)
commit6f8e1e8902d5abe9286e723468daa80fe0ee42aa
tree1d3c95b1609f0f167d6d81804d41bfa5d2285485tree | snapshot
parentd8e510143aa094363d5bf21d6cb7e31a29a6e826commit | diff
Makefile now includes svm_pause and DEBUG=1 by default
c.img is a DOS install, done completly from within the VMM
palacios/build/Makefile diff | blob | history
palacios/build/c.img diff | blob | history
Public Palacios Development Repository for the V3VEE Project