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.


readded test.ko
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 16 Feb 2010 21:08:04 +0000 (15:08 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 16 Feb 2010 21:08:04 +0000 (15:08 -0600)
commit975c3e2563e4c665864093015fde0a977c6c2394
treeeef9cddeeb83e680cb2658409be10ac4c016bc0d
parent73f9a9166e3588c28204d5c053a48cec8e9a5ba2
readded test.ko
modules/linux_mods/i386/binaries/test.ko [new file with mode: 0644]