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: 41d6dcb)
moved further along in the boot process....
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 1 Jul 2008 00:12:22 +0000 (00:12 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 1 Jul 2008 00:12:22 +0000 (00:12 +0000)
commit60656758d616b276a4a9a17efda49981c57cbeef
tree74dd96c60433b2a5e465425129b4428f04b5b0e8tree | snapshot
parent41d6dcb0a638ebdc01b89a9edf427c75975b2003commit | diff
moved further along in the boot process....
palacios/include/palacios/vmm_paging.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project