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: 433cc61)
Basic support for printing real mode stacks
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 25 Mar 2011 23:35:58 +0000 (18:35 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 25 Mar 2011 23:35:58 +0000 (18:35 -0500)
commitc1dbdcb38628bb6fc5cf1e31bc7feb2f2257371b
tree827fcf4bfc585243be0b2cf98871eb259b657e97tree | snapshot
parent433cc616000bbede723288f391e01a7750f230f6commit | diff
Basic support for printing real mode stacks
palacios/src/palacios/vm_guest.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project