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 sprintf to build and reworked type system to handle it
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 24 Jul 2009 19:58:17 +0000 (14:58 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 24 Jul 2009 19:58:17 +0000 (14:58 -0500)
commit94eb64dbd7ce27642db449e49cb86d04b11c427d
tree884dba2c8fe7c26255b4f33354cda590fef9c4d9
parent3dd047dc0f70231ea93e5b3b40a9142a391bf507
added sprintf to build and reworked type system to handle it
palacios/build/Makefile
palacios/include/palacios/vmm_stddef.h [deleted file]
palacios/include/palacios/vmm_string.h
palacios/include/palacios/vmm_types.h
palacios/src/palacios/vmm_socket.c