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 04:33:35 +0000 (04:33 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 17 Jul 2008 04:33:35 +0000 (04:33 +0000)
commit033d596d21472e2eb60a039b5726d4e1a2bc35cc
tree25eff57ec901948dcb477c9371cb9fc4de8ae1fd
parente397b873ec2c0d8ac311635f82b1c14191a4b391
*** empty log message ***
palacios/include/devices/serial.h [new file with mode: 0644]