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: 2693dbc)
hook F10 to state dumping
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 3 Jun 2009 02:47:15 +0000 (21:47 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 3 Jun 2009 02:47:15 +0000 (21:47 -0500)
commitd3f9dd3b223729a81918a0df0dadf72015739c6c
treee4564549673547220f3d4b259f40915e48528225tree | snapshot
parent2693dbc32a15e21af5e648f6a3d98ecd962ac029commit | diff
hook F10 to state dumping
palacios/src/devices/keyboard.c diff | blob | history
palacios/src/palacios/vm_guest.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project