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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 2222a18)
added list_tail_entry() accessor function
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Feb 2009 21:34:20 +0000 (15:34 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Feb 2009 21:34:20 +0000 (15:34 -0600)
commit5dba37e6d7ff831c2b2239851701a83d21956645
tree1b26bfe229a6de78376c08e6bf9745db02b9be40tree | snapshot
parent2222a18071be7f4f665206a1bfa274b8f27f4fcccommit | diff
added list_tail_entry() accessor function
palacios/include/palacios/vmm_list.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project