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.


*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 17 Jul 2008 00:27:10 +0000 (00:27 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 17 Jul 2008 00:27:10 +0000 (00:27 +0000)
commite397b873ec2c0d8ac311635f82b1c14191a4b391
tree9d035f23730366ca30f542afcdf0fbed323e8ba0
parentfa7a42a55338e5fa49ec760b367225ca752df4fd
*** empty log message ***
palacios/src/devices/8254.c