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: 4f86d2d)
Added temporary debugging support for host devices (osdebug hypercall) THIS WILL...
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 16 Jun 2011 17:47:11 +0000 (12:47 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 16 Jun 2011 17:47:11 +0000 (12:47 -0500)
commit028891ad087150753ba24a4d50374e0ebc4bc3dd
tree7a7d9e323715b1e3faf35e51b73e2204c5a6deb3tree | snapshot
parent4f86d2dc95a2625d834ab8dbe160f31e8ebf8052commit | diff
Added temporary debugging support for host devices (osdebug hypercall)  THIS WILL BE REMOVED
palacios/src/devices/generic.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project