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.


reverted naming changes to fix configuration breakage
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 11 Mar 2010 23:54:50 +0000 (17:54 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 11 Mar 2010 23:54:50 +0000 (17:54 -0600)
commit3b85ebc98b3f850992ffbfa1cb6e8d6ad777515b
tree0271cbfff573ae1c88fad4bd70f27ddcf3b03bf5
parent206253acc307d5f40b538d88a282b00b3984097c
reverted naming changes to fix configuration breakage
Kconfig
palacios/src/devices/Makefile
palacios/src/devices/lnx_virtio_vnet.c