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: 9fb158d)
added socket interface
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 24 Nov 2008 21:36:10 +0000 (15:36 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 24 Nov 2008 21:36:10 +0000 (15:36 -0600)
commita3a2224fa5e7d5c9d0ef2fe29bae0ccfb373ba26
tree9adfcc704b88538f835391b5b1e14201d1996a86tree | snapshot
parent9fb158db4a082626c5cef84686bff96a456bbe7acommit | diff
added socket interface
palacios/build/Makefile diff | blob | history
palacios/include/palacios/vmm_socket.h [new file with mode: 0644] blob
palacios/src/palacios/vmm_socket.c [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project