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.


stream implementation and interface between searial device and stream
authorLei Xia <lxia@northwestern.edu>
Wed, 3 Nov 2010 20:02:15 +0000 (15:02 -0500)
committerLei Xia <lxia@northwestern.edu>
Wed, 3 Nov 2010 20:02:15 +0000 (15:02 -0500)
commit8330d6bb32172ba7c50b4e242e0213c8a9e1424e
treed31b884b0e3177c017a982a6a18d48aabb50a750
parentd1f4efdef22f2f1ca60bebbc962058f3ec93d484
stream implementation and interface between searial device and stream
incomplete yet
palacios/include/devices/serial.h [new file with mode: 0644]
palacios/include/palacios/vmm_stream.h [new file with mode: 0644]
palacios/src/devices/Kconfig
palacios/src/devices/Makefile
palacios/src/devices/serial.c
palacios/src/palacios/Makefile
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_stream.c [new file with mode: 0644]