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: 0893919)
*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 13 Feb 2008 23:52:22 +0000 (23:52 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 13 Feb 2008 23:52:22 +0000 (23:52 +0000)
commit748e856fe4c5cc9b0b80d60db90af10ceb0247c8
tree68f2ad438c9b7b3a8e0c78f782664e40e1ead2fetree | snapshot
parent0893919c04fa1186a70039b739a6dcec0a2189bacommit | diff
*** empty log message ***
palacios/build/Makefile diff | blob | history
palacios/build/vm_kernel [new file with mode: 0755] blob
palacios/include/geekos/vmm_sizes.h diff | blob | history
palacios/src/geekos/main.c diff | blob | history
palacios/src/geekos/timer.c diff | blob | history
palacios/src/geekos/vmx.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project