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: 9487b7d)
Fixed erroneous #if in geekos main.c
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 25 Mar 2009 18:42:48 +0000 (13:42 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 25 Mar 2009 18:42:48 +0000 (13:42 -0500)
commit1db43afe69d6e5f83db69392f2529daf12129a4a
treea7bef04b851784c942b936db12ee2ec210f29cf6tree | snapshot
parent9487b7d59cab801ef521a89187dfd1e33fa36c45commit | diff
Fixed erroneous #if in geekos main.c
geekos/src/geekos/main.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project