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.


cleaned up instrumentation implementation
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 9 Feb 2009 19:20:29 +0000 (13:20 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 9 Feb 2009 19:20:29 +0000 (13:20 -0600)
commit0e1c2f1eb7e964848d43824328205d5557bc7639
treedb4d073c2f0b1a31518a6e44d39830fb3f4a4382
parent3496b5b5469fe691a6847eb76d973019bb769318
cleaned up instrumentation implementation
palacios/build/Makefile
palacios/include/palacios/vmm_instrument.h
palacios/include/palacios/vmm_ringbuffer.h
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_instrument.c
palacios/src/palacios/vmm_ringbuffer.c