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 linux swap header
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 12 Aug 2009 22:10:07 +0000 (17:10 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 12 Aug 2009 22:10:07 +0000 (17:10 -0500)
commit1a24d4e8fb3918a42b124777db5b41940150023e
treeb4196b358ffa42d53997c1aa24d41f9d5da4c3ca
parentcdd3799959ff1103f29340dcee1ee580cb0068d3
added linux swap header
palacios/src/devices/sym_swap.c