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 network backend/frontend registration to correct location
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 15 Dec 2009 21:59:31 +0000 (15:59 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 15 Dec 2009 21:59:31 +0000 (15:59 -0600)
commit5f0b4f8c5f9f53cea37dde072b37d09ba316487d
tree1b671456a5be6cc060ef2b99c4b13e62b8a2fa22
parent9cabe082ba8acd1b88e6414199b5cc544aadf826
moved network backend/frontend registration to correct location
palacios/src/devices/lnx_virtio_nic.c
palacios/src/palacios/vmm_dev_mgr.c