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.


Working on debugging time management/apic timer code.
authorPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 20 Oct 2011 15:26:26 +0000 (09:26 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 20 Oct 2011 15:26:26 +0000 (09:26 -0600)
commit0e26b3738daf436ba2d9a088ba620a3583d40de3
treee2eb9123de6b1af49a6950240be8341013d2e28a
parentafd094814f0380b442515f7a58eb00e7ac98a3b1
Working on debugging time management/apic timer code.
palacios/include/palacios/vmm_time.h
palacios/src/devices/apic.c
palacios/src/palacios/vmm_time.c