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.


added ring buffer
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 9 Feb 2009 17:01:51 +0000 (11:01 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 9 Feb 2009 17:01:51 +0000 (11:01 -0600)
commited814ce69c64a1f24670f21950f3da646f7921df
treef950e9c616f3dee657bdeb4d89a8ccd31209449c
parentf1bcf8078336a40a9b94d15fb53d5d6b476a61f8
added ring buffer
palacios/build/Makefile
palacios/include/palacios/vmm_ringbuffer.h [new file with mode: 0644]
palacios/src/palacios/vmm_ringbuffer.c [new file with mode: 0644]