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.


added serial port
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 17 Jul 2008 04:33:45 +0000 (04:33 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 17 Jul 2008 04:33:45 +0000 (04:33 +0000)
commit34e57f627bced8d769c98c53def61cf7e9028416
treeb9295a626b5e6bf952dc152d02d9f3cb3af2ef0d
parent033d596d21472e2eb60a039b5726d4e1a2bc35cc
added serial port
palacios/src/devices/serial.c [new file with mode: 0644]