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: 1a8382a)
*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 30 May 2008 20:34:09 +0000 (20:34 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 30 May 2008 20:34:09 +0000 (20:34 +0000)
commit472dec28ebae078e8bf90ff48d1693c1ef8a7b85
tree9ee91a3762b8930f36b4f1c15c182dfcbdf7a326tree | snapshot
parent1a8382a1bd0a4e537b28d7906399bee2bff043decommit | diff
*** empty log message ***
palacios/build/Makefile diff | blob | history
palacios/build/rombios [deleted file] blob | history
palacios/build/vgabios [deleted file] blob | history
palacios/build/vm_kernel [deleted file] blob | history
palacios/src/palacios/vmm_mem.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project