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.


updated kernel version numbers for file interface Release-1.3
authorJack Lange <jacklange@cs.pitt.edu>
Sat, 19 Nov 2011 00:37:12 +0000 (19:37 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Sat, 19 Nov 2011 00:37:12 +0000 (19:37 -0500)
commit90e82a7c376407109280c73fb6634bcb48b569f1
treef7ab26c73ead10f57c90f06bcbd5e25e4fc6a2f7
parentcfd5e43722796b4951faf721c64f3a74ab81ff2b
updated kernel version numbers for file interface
linux_module/iface-file.c