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: 56447cc)
*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 6 Jun 2008 20:47:26 +0000 (20:47 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 6 Jun 2008 20:47:26 +0000 (20:47 +0000)
commitd6aaf17a9c98eeaa093a35fb61c4b4bb59b31c07
treefe494bc9d92d42d6068885e0c2d2781a367d85dbtree | snapshot
parent56447cc42b250554dc3e49dd805d198a0e9a256ccommit | diff
*** empty log message ***
palacios/include/geekos/serial.h diff | blob | history
palacios/src/geekos/serial.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project