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.


apic fix
authorJack Lange <jacklange@cs.pitt.edu>
Sun, 18 Mar 2012 21:43:49 +0000 (17:43 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 20 Apr 2012 16:09:20 +0000 (12:09 -0400)
commit68a5f03fab0737ce304261028a4517c49ea954c6
tree6cee0176721b80f426c032bf5e78859e50b4c921
parentb8152adfb5d52ea2f3578b6eb38c32cc51b7269e
apic fix
palacios/src/devices/apic.c