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 hardware emulation
authorRumou Duan <duanrumou@gmail.com>
Wed, 2 Jun 2010 21:14:53 +0000 (16:14 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 2 Jun 2010 21:14:53 +0000 (16:14 -0500)
commitd3ba44fb64c5a40a0d47cf8fecf809b8c20fd440
tree6e6a9876ba39a0bb8cda5e3334060dc77cbd9aa0
parent8fff7af827c4d7c5a3625f1ca5bdeac7e6538742
added serial port hardware emulation
palacios/src/devices/Kconfig
palacios/src/devices/Makefile
palacios/src/devices/serial.c