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: 657edaf)
fixing the error in geekos' memcmp implementation
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 8 Oct 2008 06:29:27 +0000 (01:29 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 8 Oct 2008 06:29:27 +0000 (01:29 -0500)
commit6234e356393c87ad9aa132143c47be190ef9bac7
treea87d2b475e0b2b274ce83a118836a384d575f0b2tree | snapshot
parent657edaf0edf3663843b64570c33ba1aaf9364ff0commit | diff
fixing the error in geekos' memcmp implementation
palacios/src/common/string.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project