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: 33e59b4)
changed bios configuration method
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 21 Oct 2008 21:29:45 +0000 (16:29 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 21 Oct 2008 21:29:45 +0000 (16:29 -0500)
commitfc14d48378cdc90085786bccf4a5230261a0d315
tree4e4a67080a41e0485d757854a010fc7aed629c41tree | snapshot
parent33e59b4f73c24aa953e12d9427dafac88b19cfaacommit | diff
changed bios configuration method
geekos/src/geekos/vm.c diff | blob | history
palacios/include/palacios/vmm.h diff | blob | history
palacios/src/palacios/vmm_config.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project