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.


timer interface updates to allow state cleanup on exit
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 19 Nov 2010 02:48:09 +0000 (20:48 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 19 Nov 2010 02:48:09 +0000 (20:48 -0600)
commitb4aaeaa7233244ad9d607a0077dbbce719833fe0
tree255ef6ff0cd6d79ff1f2974ba02b32c19b61f5ba
parent99a5ead7f3960f33a62d8781c92c75099bea89c0
timer interface updates to allow state cleanup on exit
palacios/include/palacios/vmm_time.h
palacios/src/devices/8254.c
palacios/src/devices/apic.c
palacios/src/palacios/vmm_dev_mgr.c
palacios/src/palacios/vmm_time.c