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.


fix for Linux rule breaking behavior
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 5 Oct 2010 22:28:46 +0000 (17:28 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 5 Oct 2010 22:28:46 +0000 (17:28 -0500)
commit99c8bed98abf75955e09ce1af868f7bf16c9406c
treeac1c973aee815322a0145263fe284cc60967ebcc
parentf615803b8ae6005d48d8c8435e9dba5b2842ccca
fix for Linux rule breaking behavior
palacios/src/devices/apic.c