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: dd318f2)
updated geekos to new interface
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 22 May 2009 17:14:34 +0000 (12:14 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 22 May 2009 17:14:34 +0000 (12:14 -0500)
commitb924c7f1850b7b4879677253e15db59b359a1b09
treea4a3cbc369d1af6fc43d7c74a1bb78a90d77b53ctree | snapshot
parentdd318f2692eda262168133c6b8f0a633e3db5b44commit | diff
updated geekos to new interface
geekos/src/geekos/paging.c diff | blob | history
geekos/src/geekos/vm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project