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.


moved CONSOLE host event to SERIAL host event
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 10 Nov 2010 21:23:06 +0000 (15:23 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 10 Nov 2010 21:23:06 +0000 (15:23 -0600)
commit7ee094e43dab15b0139847bca24cef904f8a42f6
tree86b4174d85fd8d46242d5ccc28fa16ed7e409205
parent6cef10632e596804cc56b32d78b6983db9246a8a
moved CONSOLE host event to SERIAL host event
palacios/include/palacios/vmm_host_events.h
palacios/src/devices/char_stream.c
palacios/src/palacios/vmm_host_events.c