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.


fixed up include directories for new interfaces locations
authorJack Lange <jacklange@cs.pitt.edu>
Tue, 12 Apr 2011 04:19:29 +0000 (23:19 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Tue, 12 Apr 2011 04:19:29 +0000 (23:19 -0500)
commitea1de8c79b78fdb77e4ed017c2eb0e87d701bc4a
treebed982749295d5b6de2ee4f22b424ae8deef755e
parentba178554a5f6714e5ceb7b77df462ac72de90b0c
fixed up include directories for new interfaces locations
linux_module/palacios-console.c
linux_module/palacios-file.c
linux_module/palacios-packet.c
linux_module/palacios-socket.c
linux_module/palacios-stream.c
palacios/src/devices/nic_bridge.c
palacios/src/devices/vga.c